Test Nix CI reverse dependency compatibility testing #1

Workflow file for this run

.github/workflows/nix-action-coq-8.19.yml at 982d50e

	jobs:
	ElmExtraction:
	needs:
	- coq
	- metacoq
	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@v30
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup metacoq
	uses: cachix/cachix-action@v15
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: metacoq
	- id: stepCheck
	name: Checking presence of CI target ElmExtraction
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.19\" --argstr job \"ElmExtraction\" \\\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.19"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq"
	- 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.19"
	--argstr job "ElmExtraction"
	RustExtraction:
	needs:
	- coq
	- metacoq
	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@v30
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup metacoq
	uses: cachix/cachix-action@v15
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: metacoq
	- id: stepCheck
	name: Checking presence of CI target RustExtraction
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.19\" --argstr job \"RustExtraction\" \\\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.19"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq"
	- 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.19"
	--argstr job "RustExtraction"
	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@v30
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup metacoq
	uses: cachix/cachix-action@v15
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: metacoq
	- 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.19\" --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.19"
	--argstr job "coq"
	equations:
	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@v30
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup metacoq
	uses: cachix/cachix-action@v15
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: metacoq
	- id: stepCheck
	name: Checking presence of CI target equations
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.19\" --argstr job \"equations\" \\\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.19"
	--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.19"
	--argstr job "equations"
	metacoq:
	needs:
	- coq
	- equations
	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@v30
	with:
	nix_path: nixpkgs=channel:nixpkgs-unstable
	- name: Cachix setup metacoq
	uses: cachix/cachix-action@v15
	with:
	authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
	extraPullNames: coq, coq-community
	name: metacoq
	- id: stepCheck
	name: Checking presence of CI target metacoq
	run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
	\ bundle \"coq-8.19\" --argstr job \"metacoq\" \\\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.19"
	--argstr job "coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: equations'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "equations"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-utils'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-utils"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-common'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-common"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-template-coq'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-template-coq"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-pcuic'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-pcuic"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-safechecker'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-safechecker"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-template-pcuic'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-template-pcuic"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-erasure'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-erasure"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-quotation'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-quotation"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-safechecker-plugin'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-safechecker-plugin"
	- if: steps.stepCheck.outputs.status == 'built'
	name: 'Building/fetching previous CI target: metacoq-erasure-plugin'
	run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq-8.19"
	--argstr job "metacoq-erasure-plugin"
	- 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.19"
	--argstr job "metacoq"
	name: Nix CI for bundle coq-8.19
	'on':
	pull_request:
	paths:
	- .github/workflows/nix-action-coq-8.19.yml
	pull_request_target:
	paths-ignore:
	- .github/workflows/nix-action-coq-8.19.yml
	types:
	- opened
	- synchronize
	- reopened
	push:
	branches:
	- coq-8.19

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Test Nix CI reverse dependency compatibility testing #1

Workflow file

Test Nix CI reverse dependency compatibility testing #1

Jobs

Run details

Workflow file for this run