Skip to content

Commit edcbbd2

Browse files
CohenCyrilCohenCyril
authored
Merge pull request #76 from math-comp/update
Update CI
2 parents 0fe5e08 + e5f62c5 commit edcbbd2

17 files changed

+698
-239
lines changed

‎.github/workflows/docker-action.yml‎

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -19,16 +19,15 @@ jobs:
1919
image:
2020
- 'mathcomp/mathcomp:1.12.0-coq-8.10'
2121
- 'mathcomp/mathcomp:1.12.0-coq-8.11'
22-
- 'mathcomp/mathcomp:1.12.0-coq-8.12'
23-
- 'mathcomp/mathcomp:1.12.0-coq-8.13'
24-
- 'mathcomp/mathcomp:1.12.0-coq-8.14'
25-
- 'mathcomp/mathcomp:1.14.0-coq-8.11'
26-
- 'mathcomp/mathcomp:1.14.0-coq-8.12'
22+
- 'mathcomp/mathcomp:1.13.0-coq-8.11'
23+
- 'mathcomp/mathcomp:1.13.0-coq-8.12'
24+
- 'mathcomp/mathcomp:1.13.0-coq-8.13'
2725
- 'mathcomp/mathcomp:1.14.0-coq-8.13'
2826
- 'mathcomp/mathcomp:1.14.0-coq-8.14'
2927
- 'mathcomp/mathcomp:1.14.0-coq-8.15'
30-
- 'mathcomp/mathcomp-dev:coq-8.11'
31-
- 'mathcomp/mathcomp-dev:coq-8.12'
28+
- 'mathcomp/mathcomp:1.14.0-coq-8.14'
29+
- 'mathcomp/mathcomp:1.15.0-coq-8.14'
30+
- 'mathcomp/mathcomp:1.15.0-coq-8.15'
3231
- 'mathcomp/mathcomp-dev:coq-8.13'
3332
- 'mathcomp/mathcomp-dev:coq-8.14'
3433
- 'mathcomp/mathcomp-dev:coq-8.15'

‎.github/workflows/nix-action-coq8.12+mc1.13.yml‎

Lines changed: 99 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,99 @@
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.12+mc1.13\" --argstr job \"coq\" \\\n --dry-run 2>&1 > /dev/null)\n\
32+
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\
33+
\ \"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.12+mc1.13"
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.12+mc1.13\" --argstr job \"mathcomp-abel\" \\\n --dry-run\
69+
\ 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.12+mc1.13"
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.12+mc1.13"
78+
--argstr job "mathcomp-field"
79+
- if: steps.stepCheck.outputs.status == 'built'
80+
name: 'Building/fetching previous CI target: mathcomp-real-closed'
81+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.12+mc1.13"
82+
--argstr job "mathcomp-real-closed"
83+
- if: steps.stepCheck.outputs.status == 'built'
84+
name: Building/fetching current CI target
85+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.12+mc1.13"
86+
--argstr job "mathcomp-abel"
87+
name: Nix CI for bundle coq8.12+mc1.13
88+
'on':
89+
pull_request:
90+
paths:
91+
- .github/workflows/**
92+
pull_request_target:
93+
types:
94+
- opened
95+
- synchronize
96+
- reopened
97+
push:
98+
branches:
99+
- master

‎.github/workflows/nix-action-coq8.12+mcmaster.yml‎

Lines changed: 0 additions & 199 deletions
This file was deleted.

0 commit comments

Comments
 (0)