Remove GCC 14 #3859

Sign in to view logs

Workflow file for this run

.github/workflows/pre-commit.yml at f0fddab

	# yaml-language-server: $schema=https://json.schemastore.org/github-workflow

	name: pre-commit

	on:
	push:
	pull_request:

	permissions:
	contents: read # to fetch code (actions/checkout)

	jobs:
	pre-commit:
	name: Detecting code style issues
	runs-on: ubuntu-latest
	# The Dockerfile for this container can be found at:
	# https://github.com/Holzhaus/mixxx-ci-docker
	container: holzhaus/mixxx-ci:20220930
	steps:
	- name: "Check out repository"
	uses: actions/[email protected]
	with:
	# Unfortunately we need the whole history and can't use a shallow clone
	# because the Appstream Metadata hook parses the history to find the
	# latest changelog modification date. Otherwise, `fetch-depth: 2` would
	# suffice.
	fetch-depth: 0

	- name: "Add GitHub workspace as a safe directory"
	# Without this, git commands will fail due to mismatching permissions in
	# the container. See actions/runner#2033 for details.
	#
	# The actions/checkout action should already take care of this thanks to
	# commit actions/checkout@55fd82fc42c0cdd6f1f480dd23f60636a42f6f5c, but
	# it seems like that's not working properly.
	run: \|
	git config --global --add safe.directory "${GITHUB_WORKSPACE}"
	git config --global --list

	- name: "Detect code style issues (push)"
	uses: pre-commit/[email protected]
	if: github.event_name == 'push'
	# There are too many files in the repo that have formatting issues. We'll
	# disable these checks for now when pushing directly (but still run these
	# on Pull Requests!).
	env:
	SKIP: clang-format,eslint,no-commit-to-branch

	- name: "Detect code style issues (pull_request)"
	uses: pre-commit/[email protected]
	if: github.event_name == 'pull_request'
	env:
	SKIP: no-commit-to-branch
	with:
	# HEAD is the not yet integrated PR merge commit +refs/pull/xxxx/merge
	# HEAD^1 is the PR target branch and HEAD^2 is the HEAD of the source branch
	extra_args: --from-ref HEAD^1 --to-ref HEAD

	- name: "Generate patch file"
	if: failure()
	run: \|
	git diff-index -p HEAD > "${PATCH_FILE}"
	[ -s "${PATCH_FILE}" ] && echo "UPLOAD_PATCH_FILE=${PATCH_FILE}" >> "${GITHUB_ENV}"
	shell: bash
	env:
	PATCH_FILE: pre-commit.patch

	- name: "Upload patch artifact"
	if: failure() && env.UPLOAD_PATCH_FILE != null
	uses: actions/[email protected]
	with:
	name: ${{ env.UPLOAD_PATCH_FILE }}
	path: ${{ env.UPLOAD_PATCH_FILE }}

	- name: "Upload pre-commit.log"
	if: failure() && env.UPLOAD_PATCH_FILE == null
	uses: actions/[email protected]
	with:
	name: pre-commit.log
	path: /github/home/.cache/pre-commit/pre-commit.log

	# AppStream metadata has been generated/updated by a pre-commit hook
	- name: "Validate AppStream metadata"
	if: runner.os == 'Linux'
	run: appstreamcli validate res/linux/org.mixxx.Mixxx.metainfo.xml