Locality can be charged to coq.elpi.add-predicate #18

Workflow file for this run

.github/workflows/nix-action-coq-8.18.yml at c652dac

	jobs:
	Verdi:
	needs:
	- coq
	- mathcomp-ssreflect
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target Verdi
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"Verdi\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: Cheerios'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "Cheerios"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: InfSeqExt'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "InfSeqExt"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "Verdi"
	addition-chains:
	needs:
	- coq
	- mathcomp-ssreflect
	- mathcomp-algebra
	- mathcomp-fingroup
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target addition-chains
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"addition-chains\" \\\n --dry-run 2>&1\
	\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"\
	built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: paramcoq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "paramcoq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "addition-chains"
	autosubst:
	needs:
	- coq
	- mathcomp-ssreflect
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target autosubst
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"autosubst\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "autosubst"
	coq:
	needs: []
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target coq
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"coq\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	coq-elpi:
	needs:
	- coq
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target coq-elpi
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"coq-elpi\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq-elpi"
	coquelicot:
	needs:
	- coq
	- mathcomp-ssreflect
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target coquelicot
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"coquelicot\" \\\n --dry-run 2>&1 >\
	\ /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\"\
	\ \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coquelicot"
	deriving:
	needs:
	- coq
	- mathcomp-ssreflect
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target deriving
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"deriving\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "deriving"
	hierarchy-builder:
	needs:
	- coq
	- coq-elpi
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target hierarchy-builder
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"hierarchy-builder\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq-elpi'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq-elpi"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	mathcomp:
	needs:
	- coq
	- mathcomp-ssreflect
	- mathcomp-fingroup
	- mathcomp-algebra
	- mathcomp-solvable
	- mathcomp-field
	- mathcomp-character
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-solvable'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-solvable"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-field'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-field"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-character'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-character"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp"
	mathcomp-algebra:
	needs:
	- coq
	- mathcomp-ssreflect
	- mathcomp-fingroup
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-algebra
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-algebra\" \\\n --dry-run 2>&1\
	\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"\
	built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	mathcomp-analysis:
	needs:
	- coq
	- mathcomp-classical
	- mathcomp-field
	- mathcomp-bigenough
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-analysis
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-analysis\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-classical'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-classical"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-field'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-field"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-bigenough'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-bigenough"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-analysis"
	mathcomp-bigenough:
	needs:
	- coq
	- mathcomp-ssreflect
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-bigenough
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-bigenough\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-bigenough"
	mathcomp-character:
	needs:
	- coq
	- mathcomp-ssreflect
	- mathcomp-fingroup
	- mathcomp-algebra
	- mathcomp-solvable
	- mathcomp-field
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-character
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-character\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-solvable'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-solvable"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-field'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-field"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-character"
	mathcomp-classical:
	needs:
	- coq
	- mathcomp-algebra
	- mathcomp-finmap
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-classical
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-classical\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-finmap'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-finmap"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-classical"
	mathcomp-field:
	needs:
	- coq
	- mathcomp-ssreflect
	- mathcomp-fingroup
	- mathcomp-algebra
	- mathcomp-solvable
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-field
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-field\" \\\n --dry-run 2>&1\
	\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"\
	built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-solvable'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-solvable"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-field"
	mathcomp-fingroup:
	needs:
	- coq
	- mathcomp-ssreflect
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-fingroup
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-fingroup\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	mathcomp-finmap:
	needs:
	- coq
	- mathcomp-ssreflect
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-finmap
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-finmap\" \\\n --dry-run 2>&1\
	\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"\
	built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-finmap"
	mathcomp-solvable:
	needs:
	- coq
	- mathcomp-ssreflect
	- mathcomp-fingroup
	- mathcomp-algebra
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-solvable
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-solvable\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-solvable"
	mathcomp-ssreflect:
	needs:
	- coq
	- hierarchy-builder
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target mathcomp-ssreflect
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"mathcomp-ssreflect\" \\\n --dry-run\
	\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run \| grep\
	\ \"built:\" \| sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: hierarchy-builder'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "hierarchy-builder"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	odd-order:
	needs:
	- coq
	- mathcomp-character
	- mathcomp-ssreflect
	- mathcomp-fingroup
	- mathcomp-algebra
	- mathcomp-solvable
	- mathcomp-field
	- mathcomp
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target odd-order
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"odd-order\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-character'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-character"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-solvable'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-solvable"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-field'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-field"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "odd-order"
	reglang:
	needs:
	- coq
	- mathcomp-ssreflect
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target reglang
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"reglang\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "reglang"
	trakt:
	needs:
	- coq
	- coq-elpi
	runs-on: ubuntu-latest
	steps:
	- name: Determine which commit to initially checkout
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
	\ }}\" >> $GITHUB_ENV\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.target_commit }}
	- name: Determine which commit to test
	run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
	\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
	\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
	\ \| cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
	\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 \|\| true)\n\
	\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
	\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
	\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
	- name: Git checkout
	uses: actions/checkout@v3
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v20
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup coq-elpi
	uses: cachix/cachix-action@v12
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community, math-comp
	name: coq-elpi
	- id: stepCheck
	name: Checking presence of CI target trakt
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.18\" --argstr job \"trakt\" \\\n --dry-run 2>&1 > /dev/null)\n\
	echo $nb_dry_run\necho status=$(echo $nb_dry_run \| grep \"built:\" \| sed \"\
	s/.*/built/\") >> $GITHUB_OUTPUT\n"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: coq-elpi'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "coq-elpi"
	- if: steps.stepCheck.outputs.status == 'built'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.18"
	--argstr job "trakt"
	name: Nix CI for bundle coq-8.18
	'on':
	pull_request:
	paths:
	- .github/workflows/**
	pull_request_target:
	types:
	- opened
	- synchronize
	- reopened
	push:
	branches:
	- master

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Locality can be charged to coq.elpi.add-predicate #18

Workflow file

Locality can be charged to coq.elpi.add-predicate #18

Jobs

Run details

Workflow file for this run