Skip to content

Commit 2e78602

Browse files
CohenCyrilCohenCyril
authored
Merge pull request #77 from math-comp/update
add Coq 8.16 to CI
2 parents edcbbd2 + 18ac4b5 commit 2e78602

File tree

5 files changed

+387
-0
lines changed

5 files changed

+387
-0
lines changed

‎.github/workflows/nix-action-coq8.13+mcmathcomp-1.15.0.yml‎

Lines changed: 95 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,95 @@
1+
jobs:
2+
coq:
3+
needs: []
4+
runs-on: ubuntu-latest
5+
steps:
6+
- name: Determine which commit to test
7+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
8+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
9+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
10+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
11+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
12+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
13+
- name: Git checkout
14+
uses: actions/checkout@v2
15+
with:
16+
fetch-depth: 0
17+
ref: ${{ env.tested_commit }}
18+
- name: Cachix install
19+
uses: cachix/install-nix-action@v16
20+
with:
21+
nix_path: nixpkgs=channel:nixpkgs-unstable
22+
- name: Cachix setup math-comp
23+
uses: cachix/cachix-action@v10
24+
with:
25+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
26+
extraPullNames: coq, coq-community
27+
name: math-comp
28+
- id: stepCheck
29+
name: Checking presence of CI target coq
30+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
31+
\ bundle \"coq8.13+mcmathcomp-1.15.0\" --argstr job \"coq\" \\\n --dry-run\
32+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
33+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
34+
- if: steps.stepCheck.outputs.status == 'built'
35+
name: Building/fetching current CI target
36+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.13+mcmathcomp-1.15.0"
37+
--argstr job "coq"
38+
mathcomp-abel:
39+
needs:
40+
- coq
41+
runs-on: ubuntu-latest
42+
steps:
43+
- name: Determine which commit to test
44+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
45+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
46+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
47+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
48+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
49+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
50+
- name: Git checkout
51+
uses: actions/checkout@v2
52+
with:
53+
fetch-depth: 0
54+
ref: ${{ env.tested_commit }}
55+
- name: Cachix install
56+
uses: cachix/install-nix-action@v16
57+
with:
58+
nix_path: nixpkgs=channel:nixpkgs-unstable
59+
- name: Cachix setup math-comp
60+
uses: cachix/cachix-action@v10
61+
with:
62+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
63+
extraPullNames: coq, coq-community
64+
name: math-comp
65+
- id: stepCheck
66+
name: Checking presence of CI target mathcomp-abel
67+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
68+
\ bundle \"coq8.13+mcmathcomp-1.15.0\" --argstr job \"mathcomp-abel\" \\\n\
69+
\ --dry-run 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
70+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
71+
- if: steps.stepCheck.outputs.status == 'built'
72+
name: 'Building/fetching previous CI target: coq'
73+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.13+mcmathcomp-1.15.0"
74+
--argstr job "coq"
75+
- if: steps.stepCheck.outputs.status == 'built'
76+
name: 'Building/fetching previous CI target: mathcomp-field'
77+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.13+mcmathcomp-1.15.0"
78+
--argstr job "mathcomp-field"
79+
- if: steps.stepCheck.outputs.status == 'built'
80+
name: Building/fetching current CI target
81+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.13+mcmathcomp-1.15.0"
82+
--argstr job "mathcomp-abel"
83+
name: Nix CI for bundle coq8.13+mcmathcomp-1.15.0
84+
'on':
85+
pull_request:
86+
paths:
87+
- .github/workflows/**
88+
pull_request_target:
89+
types:
90+
- opened
91+
- synchronize
92+
- reopened
93+
push:
94+
branches:
95+
- master

‎.github/workflows/nix-action-coq8.14+mcmathcomp-1.15.0.yml‎

Lines changed: 95 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,95 @@
1+
jobs:
2+
coq:
3+
needs: []
4+
runs-on: ubuntu-latest
5+
steps:
6+
- name: Determine which commit to test
7+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
8+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
9+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
10+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
11+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
12+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
13+
- name: Git checkout
14+
uses: actions/checkout@v2
15+
with:
16+
fetch-depth: 0
17+
ref: ${{ env.tested_commit }}
18+
- name: Cachix install
19+
uses: cachix/install-nix-action@v16
20+
with:
21+
nix_path: nixpkgs=channel:nixpkgs-unstable
22+
- name: Cachix setup math-comp
23+
uses: cachix/cachix-action@v10
24+
with:
25+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
26+
extraPullNames: coq, coq-community
27+
name: math-comp
28+
- id: stepCheck
29+
name: Checking presence of CI target coq
30+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
31+
\ bundle \"coq8.14+mcmathcomp-1.15.0\" --argstr job \"coq\" \\\n --dry-run\
32+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
33+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
34+
- if: steps.stepCheck.outputs.status == 'built'
35+
name: Building/fetching current CI target
36+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.14+mcmathcomp-1.15.0"
37+
--argstr job "coq"
38+
mathcomp-abel:
39+
needs:
40+
- coq
41+
runs-on: ubuntu-latest
42+
steps:
43+
- name: Determine which commit to test
44+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
45+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
46+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
47+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
48+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
49+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
50+
- name: Git checkout
51+
uses: actions/checkout@v2
52+
with:
53+
fetch-depth: 0
54+
ref: ${{ env.tested_commit }}
55+
- name: Cachix install
56+
uses: cachix/install-nix-action@v16
57+
with:
58+
nix_path: nixpkgs=channel:nixpkgs-unstable
59+
- name: Cachix setup math-comp
60+
uses: cachix/cachix-action@v10
61+
with:
62+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
63+
extraPullNames: coq, coq-community
64+
name: math-comp
65+
- id: stepCheck
66+
name: Checking presence of CI target mathcomp-abel
67+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
68+
\ bundle \"coq8.14+mcmathcomp-1.15.0\" --argstr job \"mathcomp-abel\" \\\n\
69+
\ --dry-run 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
70+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
71+
- if: steps.stepCheck.outputs.status == 'built'
72+
name: 'Building/fetching previous CI target: coq'
73+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.14+mcmathcomp-1.15.0"
74+
--argstr job "coq"
75+
- if: steps.stepCheck.outputs.status == 'built'
76+
name: 'Building/fetching previous CI target: mathcomp-field'
77+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.14+mcmathcomp-1.15.0"
78+
--argstr job "mathcomp-field"
79+
- if: steps.stepCheck.outputs.status == 'built'
80+
name: Building/fetching current CI target
81+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.14+mcmathcomp-1.15.0"
82+
--argstr job "mathcomp-abel"
83+
name: Nix CI for bundle coq8.14+mcmathcomp-1.15.0
84+
'on':
85+
pull_request:
86+
paths:
87+
- .github/workflows/**
88+
pull_request_target:
89+
types:
90+
- opened
91+
- synchronize
92+
- reopened
93+
push:
94+
branches:
95+
- master

‎.github/workflows/nix-action-coq8.15+mcmathcomp-1.15.0.yml‎

Lines changed: 95 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,95 @@
1+
jobs:
2+
coq:
3+
needs: []
4+
runs-on: ubuntu-latest
5+
steps:
6+
- name: Determine which commit to test
7+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
8+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
9+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
10+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
11+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
12+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
13+
- name: Git checkout
14+
uses: actions/checkout@v2
15+
with:
16+
fetch-depth: 0
17+
ref: ${{ env.tested_commit }}
18+
- name: Cachix install
19+
uses: cachix/install-nix-action@v16
20+
with:
21+
nix_path: nixpkgs=channel:nixpkgs-unstable
22+
- name: Cachix setup math-comp
23+
uses: cachix/cachix-action@v10
24+
with:
25+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
26+
extraPullNames: coq, coq-community
27+
name: math-comp
28+
- id: stepCheck
29+
name: Checking presence of CI target coq
30+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
31+
\ bundle \"coq8.15+mcmathcomp-1.15.0\" --argstr job \"coq\" \\\n --dry-run\
32+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
33+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
34+
- if: steps.stepCheck.outputs.status == 'built'
35+
name: Building/fetching current CI target
36+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.15+mcmathcomp-1.15.0"
37+
--argstr job "coq"
38+
mathcomp-abel:
39+
needs:
40+
- coq
41+
runs-on: ubuntu-latest
42+
steps:
43+
- name: Determine which commit to test
44+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
45+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
46+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
47+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
48+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
49+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
50+
- name: Git checkout
51+
uses: actions/checkout@v2
52+
with:
53+
fetch-depth: 0
54+
ref: ${{ env.tested_commit }}
55+
- name: Cachix install
56+
uses: cachix/install-nix-action@v16
57+
with:
58+
nix_path: nixpkgs=channel:nixpkgs-unstable
59+
- name: Cachix setup math-comp
60+
uses: cachix/cachix-action@v10
61+
with:
62+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
63+
extraPullNames: coq, coq-community
64+
name: math-comp
65+
- id: stepCheck
66+
name: Checking presence of CI target mathcomp-abel
67+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
68+
\ bundle \"coq8.15+mcmathcomp-1.15.0\" --argstr job \"mathcomp-abel\" \\\n\
69+
\ --dry-run 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
70+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
71+
- if: steps.stepCheck.outputs.status == 'built'
72+
name: 'Building/fetching previous CI target: coq'
73+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.15+mcmathcomp-1.15.0"
74+
--argstr job "coq"
75+
- if: steps.stepCheck.outputs.status == 'built'
76+
name: 'Building/fetching previous CI target: mathcomp-field'
77+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.15+mcmathcomp-1.15.0"
78+
--argstr job "mathcomp-field"
79+
- if: steps.stepCheck.outputs.status == 'built'
80+
name: Building/fetching current CI target
81+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.15+mcmathcomp-1.15.0"
82+
--argstr job "mathcomp-abel"
83+
name: Nix CI for bundle coq8.15+mcmathcomp-1.15.0
84+
'on':
85+
pull_request:
86+
paths:
87+
- .github/workflows/**
88+
pull_request_target:
89+
types:
90+
- opened
91+
- synchronize
92+
- reopened
93+
push:
94+
branches:
95+
- master

‎.github/workflows/nix-action-coq8.16+mcmathcomp-1.15.0.yml‎

Lines changed: 95 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,95 @@
1+
jobs:
2+
coq:
3+
needs: []
4+
runs-on: ubuntu-latest
5+
steps:
6+
- name: Determine which commit to test
7+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
8+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
9+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
10+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
11+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
12+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
13+
- name: Git checkout
14+
uses: actions/checkout@v2
15+
with:
16+
fetch-depth: 0
17+
ref: ${{ env.tested_commit }}
18+
- name: Cachix install
19+
uses: cachix/install-nix-action@v16
20+
with:
21+
nix_path: nixpkgs=channel:nixpkgs-unstable
22+
- name: Cachix setup math-comp
23+
uses: cachix/cachix-action@v10
24+
with:
25+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
26+
extraPullNames: coq, coq-community
27+
name: math-comp
28+
- id: stepCheck
29+
name: Checking presence of CI target coq
30+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
31+
\ bundle \"coq8.16+mcmathcomp-1.15.0\" --argstr job \"coq\" \\\n --dry-run\
32+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
33+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
34+
- if: steps.stepCheck.outputs.status == 'built'
35+
name: Building/fetching current CI target
36+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.16+mcmathcomp-1.15.0"
37+
--argstr job "coq"
38+
mathcomp-abel:
39+
needs:
40+
- coq
41+
runs-on: ubuntu-latest
42+
steps:
43+
- name: Determine which commit to test
44+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
45+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
46+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
47+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
48+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
49+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
50+
- name: Git checkout
51+
uses: actions/checkout@v2
52+
with:
53+
fetch-depth: 0
54+
ref: ${{ env.tested_commit }}
55+
- name: Cachix install
56+
uses: cachix/install-nix-action@v16
57+
with:
58+
nix_path: nixpkgs=channel:nixpkgs-unstable
59+
- name: Cachix setup math-comp
60+
uses: cachix/cachix-action@v10
61+
with:
62+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
63+
extraPullNames: coq, coq-community
64+
name: math-comp
65+
- id: stepCheck
66+
name: Checking presence of CI target mathcomp-abel
67+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
68+
\ bundle \"coq8.16+mcmathcomp-1.15.0\" --argstr job \"mathcomp-abel\" \\\n\
69+
\ --dry-run 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
70+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
71+
- if: steps.stepCheck.outputs.status == 'built'
72+
name: 'Building/fetching previous CI target: coq'
73+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.16+mcmathcomp-1.15.0"
74+
--argstr job "coq"
75+
- if: steps.stepCheck.outputs.status == 'built'
76+
name: 'Building/fetching previous CI target: mathcomp-field'
77+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.16+mcmathcomp-1.15.0"
78+
--argstr job "mathcomp-field"
79+
- if: steps.stepCheck.outputs.status == 'built'
80+
name: Building/fetching current CI target
81+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.16+mcmathcomp-1.15.0"
82+
--argstr job "mathcomp-abel"
83+
name: Nix CI for bundle coq8.16+mcmathcomp-1.15.0
84+
'on':
85+
pull_request:
86+
paths:
87+
- .github/workflows/**
88+
pull_request_target:
89+
types:
90+
- opened
91+
- synchronize
92+
- reopened
93+
push:
94+
branches:
95+
- master

0 commit comments

Comments
 (0)