refactor(diags): delete Diag_Reporter::report_impl #6870

	# Copyright (C) 2020 Matthew Glazar
	# See end of file for extended copyright information.

	name: test install
	on:
	push:
	pull_request:
	types: [opened, synchronize]

	jobs:
	build:
	name: test install
	runs-on: ubuntu-latest
	container: ghcr.io/quick-lint/quick-lint-js-github-gcc:v1
	steps:
	- name: checkout
	uses: actions/checkout@8e5e7e5ab8b370d6c329ec480221332ada57f0ab # v3.5.2

	- name: configure
	run: cmake -DBUILD_TESTING=OFF -S . -B . -G Ninja
	- name: build
	run: cmake --build . --config Debug
	- name: install
	run: cmake --install . --config Debug

	- name: test executable
	run: cd / && quick-lint-js --help
	- name: test copyright
	run: grep GPL /usr/local/share/doc/quick-lint-js/copyright
	- name: test man pages
	run: grep '^\.TH' /usr/local/share/man/man1/quick-lint-js.1

	# quick-lint-js finds bugs in JavaScript programs.
	# Copyright (C) 2020 Matthew Glazar
	#
	# This file is part of quick-lint-js.
	#
	# quick-lint-js is free software: you can redistribute it and/or modify
	# it under the terms of the GNU General Public License as published by
	# the Free Software Foundation, either version 3 of the License, or
	# (at your option) any later version.
	#
	# quick-lint-js is distributed in the hope that it will be useful,
	# but WITHOUT ANY WARRANTY; without even the implied warranty of
	# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
	# GNU General Public License for more details.
	#
	# You should have received a copy of the GNU General Public License
	# along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>.

Provide feedback