saturate: honor #[export] #318

Workflow file for this run

.github/workflows/nix-action-coq-8.20.yml at 6f62e00

	jobs:
	ExtLib:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (ExtLib)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"ExtLib\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "ExtLib"
	QuickChick:
	needs:
	- coq
	- ExtLib
	- simple-io
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (QuickChick)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"QuickChick\" \\\n --dry-run 2> err > out \|\|
	(touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting
	derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: ExtLib'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "ExtLib"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: simple-io'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "simple-io"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "QuickChick"
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (coq)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"coq\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	coq-bits:
	needs:
	- coq
	- mathcomp-algebra-tactics
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (coq-bits)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"coq-bits\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra-tactics'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra-tactics"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq-bits"
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (coq-elpi)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"coq-elpi\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq-elpi"
	coqeal:
	needs:
	- coq
	- multinomials
	- mathcomp-real-closed
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (coqeal)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"coqeal\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: multinomials'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "multinomials"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-real-closed'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-real-closed"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coqeal"
	coquelicot:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (coquelicot)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"coquelicot\" \\\n --dry-run 2> err > out \|\|
	(touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting
	derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coquelicot"
	deriving:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (deriving)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"deriving\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "deriving"
	fourcolor:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (fourcolor)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"fourcolor\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "fourcolor"
	hierarchy-builder:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (hierarchy-builder)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"hierarchy-builder\" \\\n --dry-run 2> err >
	out \|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error:
	getting derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: rocq-core'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "rocq-core"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: rocq-elpi'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "rocq-elpi"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "hierarchy-builder"
	interval:
	needs:
	- coq
	- coquelicot
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (interval)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"interval\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coquelicot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coquelicot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: flocq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "flocq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "interval"
	mathcomp:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-character'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-character"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp"
	mathcomp-algebra-tactics:
	needs:
	- coq
	- coq-elpi
	- mathcomp-zify
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-algebra-tactics)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-algebra-tactics\" \\\n --dry-run 2>
	err > out \|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"\
	Error: getting derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq-elpi'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq-elpi"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-zify'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-zify"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra-tactics"
	mathcomp-analysis:
	needs:
	- coq
	- mathcomp-bigenough
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-analysis)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-analysis\" \\\n --dry-run 2> err >
	out \|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error:
	getting derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-reals'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-reals"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-field'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-field"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-bigenough'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-bigenough"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-analysis"
	mathcomp-bigenough:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-bigenough)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-bigenough\" \\\n --dry-run 2> err >
	out \|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error:
	getting derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-bigenough"
	mathcomp-classical:
	needs:
	- coq
	- mathcomp-finmap
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-classical)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-classical\" \\\n --dry-run 2> err >
	out \|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error:
	getting derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-finmap'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-finmap"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-classical"
	mathcomp-finmap:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-finmap)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-finmap\" \\\n --dry-run 2> err > out
	\|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting
	derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-finmap"
	mathcomp-real-closed:
	needs:
	- coq
	- mathcomp-bigenough
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-real-closed)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-real-closed\" \\\n --dry-run 2> err
	> out \|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error:
	getting derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-field'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-field"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-solvable'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-solvable"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-bigenough'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-bigenough"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-real-closed"
	mathcomp-single:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-single)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-single\" \\\n --dry-run 2> err > out
	\|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting
	derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-single"
	mathcomp-word:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-word)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-word\" \\\n --dry-run 2> err > out
	\|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting
	derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-word"
	mathcomp-zify:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (mathcomp-zify)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"mathcomp-zify\" \\\n --dry-run 2> err > out
	\|\| (touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting
	derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-zify"
	multinomials:
	needs:
	- coq
	- mathcomp-finmap
	- mathcomp-bigenough
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (multinomials)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"multinomials\" \\\n --dry-run 2> err > out \|\|
	(touch fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting
	derivation failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-finmap'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-finmap"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-bigenough'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-bigenough"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "multinomials"
	odd-order:
	needs:
	- coq
	- 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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (odd-order)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"odd-order\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-character'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-character"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-boot'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-boot"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-fingroup'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-fingroup"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-algebra'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-algebra"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-solvable'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-solvable"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-field'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-field"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "odd-order"
	reglang:
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (reglang)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"reglang\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: mathcomp-ssreflect'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "mathcomp-ssreflect"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "reglang"
	simple-io:
	needs:
	- coq
	- ExtLib
	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@v4
	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@v4
	with:
	fetch-depth: 0
	ref: ${{ env.tested_commit }}
	- name: Cachix install
	uses: cachix/install-nix-action@v31
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup math-comp
	uses: cachix/cachix-action@v16
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: math-comp
	- id: stepGetDerivation
	name: Getting derivation for current job (simple-io)
	run: "NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr bundle
	\"coq-8.20\" --argstr job \"simple-io\" \\\n --dry-run 2> err > out \|\| (touch
	fail; true)\ncat out err\nif [ -e fail ]; then echo \"Error: getting derivation
	failed\"; exit 1; fi\n"
	- id: stepCheck
	name: Checking presence of CI target for current job
	run: "if $(cat out err \| grep -q \"built:\") ; then\n echo \"CI target needs
	actual building\"\n if $(cat out err \| grep -q \"derivations will be built:\"\
	) ; then\n echo \"waiting a bit for derivations that should be in cache\"\
	\n sleep 30\n fi\nelse\n echo \"CI target already built\"\n echo \"\
	status=fetched\" >> $GITHUB_OUTPUT\nfi\n"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "coq"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: 'Building/fetching previous CI target: ExtLib'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "ExtLib"
	- if: steps.stepCheck.outputs.status != 'fetched'
	name: Building/fetching current CI target
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle
	"coq-8.20" --argstr job "simple-io"
	name: Nix CI for bundle coq-8.20
	on:
	pull_request:
	paths:
	- .github/workflows/nix-action-coq-8.20.yml
	pull_request_target:
	paths-ignore:
	- .github/workflows/nix-action-coq-8.20.yml
	types:
	- opened
	- synchronize
	- reopened
	push:
	branches:
	- master

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

saturate: honor #[export] #318

Workflow file

saturate: honor #[export] #318

Uh oh!

Jobs

Run details

Workflow file for this run