Skip to content

Commit fa53c6d

Browse files
hiverthivert
committed
Mathcomp-2.4 compat
2 parents 101e69e + f77573c commit fa53c6d

67 files changed

Lines changed: 1567 additions & 650 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎.github/workflows/nix-action-coq8.18-mc2.3.0.yml‎

Lines changed: 220 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,220 @@
1+
jobs:
2+
coq:
3+
needs: []
4+
runs-on: ubuntu-latest
5+
steps:
6+
- name: Determine which commit to initially checkout
7+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
8+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
9+
}}\" >> $GITHUB_ENV\nfi\n"
10+
- name: Git checkout
11+
uses: actions/checkout@v4
12+
with:
13+
fetch-depth: 0
14+
ref: ${{ env.target_commit }}
15+
- name: Determine which commit to test
16+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
17+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
18+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
19+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
20+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
21+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
22+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
23+
\ fi\nfi\n"
24+
- name: Git checkout
25+
uses: actions/checkout@v4
26+
with:
27+
fetch-depth: 0
28+
ref: ${{ env.tested_commit }}
29+
- name: Cachix install
30+
uses: cachix/install-nix-action@v30
31+
with:
32+
nix_path: nixpkgs=channel:nixpkgs-unstable
33+
- name: Cachix setup coq
34+
uses: cachix/cachix-action@v15
35+
with:
36+
extraPullNames: coq-community, math-comp
37+
name: coq
38+
- id: stepCheck
39+
name: Checking presence of CI target coq
40+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr
41+
bundle \"coq8.18-mc2.3.0\" --argstr job \"coq\" \\\n --dry-run 2>&1 > /dev/null)\n
42+
echo $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\" | sed \"\
43+
s/.*/built/\") >> $GITHUB_OUTPUT\n"
44+
- if: steps.stepCheck.outputs.status == 'built'
45+
name: Building/fetching current CI target
46+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
47+
--argstr job "coq"
48+
coq-combi:
49+
needs:
50+
- coq
51+
runs-on: ubuntu-latest
52+
steps:
53+
- name: Determine which commit to initially checkout
54+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
55+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
56+
}}\" >> $GITHUB_ENV\nfi\n"
57+
- name: Git checkout
58+
uses: actions/checkout@v4
59+
with:
60+
fetch-depth: 0
61+
ref: ${{ env.target_commit }}
62+
- name: Determine which commit to test
63+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
64+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
65+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
66+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
67+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
68+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
69+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
70+
\ fi\nfi\n"
71+
- name: Git checkout
72+
uses: actions/checkout@v4
73+
with:
74+
fetch-depth: 0
75+
ref: ${{ env.tested_commit }}
76+
- name: Cachix install
77+
uses: cachix/install-nix-action@v30
78+
with:
79+
nix_path: nixpkgs=channel:nixpkgs-unstable
80+
- name: Cachix setup coq
81+
uses: cachix/cachix-action@v15
82+
with:
83+
extraPullNames: coq-community, math-comp
84+
name: coq
85+
- id: stepCheck
86+
name: Checking presence of CI target coq-combi
87+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr
88+
bundle \"coq8.18-mc2.3.0\" --argstr job \"coq-combi\" \\\n --dry-run 2>&1
89+
> /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\"\
90+
\ | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
91+
- if: steps.stepCheck.outputs.status == 'built'
92+
name: 'Building/fetching previous CI target: coq'
93+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
94+
--argstr job "coq"
95+
- if: steps.stepCheck.outputs.status == 'built'
96+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
97+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
98+
--argstr job "mathcomp-ssreflect"
99+
- if: steps.stepCheck.outputs.status == 'built'
100+
name: 'Building/fetching previous CI target: mathcomp-fingroup'
101+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
102+
--argstr job "mathcomp-fingroup"
103+
- if: steps.stepCheck.outputs.status == 'built'
104+
name: 'Building/fetching previous CI target: mathcomp-algebra'
105+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
106+
--argstr job "mathcomp-algebra"
107+
- if: steps.stepCheck.outputs.status == 'built'
108+
name: 'Building/fetching previous CI target: multinomials'
109+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
110+
--argstr job "multinomials"
111+
- if: steps.stepCheck.outputs.status == 'built'
112+
name: 'Building/fetching previous CI target: mathcomp-character'
113+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
114+
--argstr job "mathcomp-character"
115+
- if: steps.stepCheck.outputs.status == 'built'
116+
name: 'Building/fetching previous CI target: mathcomp-field'
117+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
118+
--argstr job "mathcomp-field"
119+
- if: steps.stepCheck.outputs.status == 'built'
120+
name: Building/fetching current CI target
121+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
122+
--argstr job "coq-combi"
123+
mathcomp:
124+
needs:
125+
- coq
126+
runs-on: ubuntu-latest
127+
steps:
128+
- name: Determine which commit to initially checkout
129+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{
130+
github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha
131+
}}\" >> $GITHUB_ENV\nfi\n"
132+
- name: Git checkout
133+
uses: actions/checkout@v4
134+
with:
135+
fetch-depth: 0
136+
ref: ${{ env.target_commit }}
137+
- name: Determine which commit to test
138+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{
139+
github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{ github.event.repository.html_url
140+
}} refs/pull/${{ github.event.number }}/merge | cut -f1)\n mergeable=$(git
141+
merge --no-commit --no-ff ${{ github.event.pull_request.base.sha }} > /dev/null
142+
2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n if [ -z \"$merge_commit\"\
143+
\ -o \"x$mergeable\" != \"x0\" ]; then\n echo \"tested_commit=${{ github.event.pull_request.head.sha
144+
}}\" >> $GITHUB_ENV\n else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n\
145+
\ fi\nfi\n"
146+
- name: Git checkout
147+
uses: actions/checkout@v4
148+
with:
149+
fetch-depth: 0
150+
ref: ${{ env.tested_commit }}
151+
- name: Cachix install
152+
uses: cachix/install-nix-action@v30
153+
with:
154+
nix_path: nixpkgs=channel:nixpkgs-unstable
155+
- name: Cachix setup coq
156+
uses: cachix/cachix-action@v15
157+
with:
158+
extraPullNames: coq-community, math-comp
159+
name: coq
160+
- id: stepCheck
161+
name: Checking presence of CI target mathcomp
162+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr
163+
bundle \"coq8.18-mc2.3.0\" --argstr job \"mathcomp\" \\\n --dry-run 2>&1
164+
> /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\"\
165+
\ | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
166+
- if: steps.stepCheck.outputs.status == 'built'
167+
name: 'Building/fetching previous CI target: coq'
168+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
169+
--argstr job "coq"
170+
- if: steps.stepCheck.outputs.status == 'built'
171+
name: 'Building/fetching previous CI target: stdlib'
172+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
173+
--argstr job "stdlib"
174+
- if: steps.stepCheck.outputs.status == 'built'
175+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
176+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
177+
--argstr job "mathcomp-ssreflect"
178+
- if: steps.stepCheck.outputs.status == 'built'
179+
name: 'Building/fetching previous CI target: mathcomp-fingroup'
180+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
181+
--argstr job "mathcomp-fingroup"
182+
- if: steps.stepCheck.outputs.status == 'built'
183+
name: 'Building/fetching previous CI target: mathcomp-algebra'
184+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
185+
--argstr job "mathcomp-algebra"
186+
- if: steps.stepCheck.outputs.status == 'built'
187+
name: 'Building/fetching previous CI target: mathcomp-solvable'
188+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
189+
--argstr job "mathcomp-solvable"
190+
- if: steps.stepCheck.outputs.status == 'built'
191+
name: 'Building/fetching previous CI target: mathcomp-field'
192+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
193+
--argstr job "mathcomp-field"
194+
- if: steps.stepCheck.outputs.status == 'built'
195+
name: 'Building/fetching previous CI target: mathcomp-character'
196+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
197+
--argstr job "mathcomp-character"
198+
- if: steps.stepCheck.outputs.status == 'built'
199+
name: 'Building/fetching previous CI target: hierarchy-builder'
200+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
201+
--argstr job "hierarchy-builder"
202+
- if: steps.stepCheck.outputs.status == 'built'
203+
name: Building/fetching current CI target
204+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
205+
--argstr job "mathcomp"
206+
name: Nix CI for bundle coq8.18-mc2.3.0
207+
on:
208+
pull_request:
209+
paths:
210+
- .github/workflows/nix-action-coq8.18-mc2.3.0.yml
211+
pull_request_target:
212+
paths-ignore:
213+
- .github/workflows/nix-action-coq8.18-mc2.3.0.yml
214+
types:
215+
- opened
216+
- synchronize
217+
- reopened
218+
push:
219+
branches:
220+
- master

.github/workflows/nix-action-coq8.18-mc2.2.0.yml renamed to .github/workflows/nix-action-coq8.18-mc2.3.0.yml.orig

Lines changed: 23 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -38,12 +38,12 @@ jobs:
3838
- id: stepCheck
3939
name: Checking presence of CI target coq
4040
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
41-
\ bundle \"coq8.18-mc2.2.0\" --argstr job \"coq\" \\\n --dry-run 2>&1 >\
41+
\ bundle \"coq8.18-mc2.3.0\" --argstr job \"coq\" \\\n --dry-run 2>&1 >\
4242
\ /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\"\
4343
\ | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
4444
- if: steps.stepCheck.outputs.status == 'built'
4545
name: Building/fetching current CI target
46-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
46+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
4747
--argstr job "coq"
4848
coq-combi:
4949
needs:
@@ -85,40 +85,36 @@ jobs:
8585
- id: stepCheck
8686
name: Checking presence of CI target coq-combi
8787
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
88-
\ bundle \"coq8.18-mc2.2.0\" --argstr job \"coq-combi\" \\\n --dry-run 2>&1\
88+
\ bundle \"coq8.18-mc2.3.0\" --argstr job \"coq-combi\" \\\n --dry-run 2>&1\
8989
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
9090
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
9191
- if: steps.stepCheck.outputs.status == 'built'
9292
name: 'Building/fetching previous CI target: coq'
93-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
93+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
9494
--argstr job "coq"
9595
- if: steps.stepCheck.outputs.status == 'built'
9696
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
97-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
97+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
9898
--argstr job "mathcomp-ssreflect"
9999
- if: steps.stepCheck.outputs.status == 'built'
100100
name: 'Building/fetching previous CI target: mathcomp-fingroup'
101-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
101+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
102102
--argstr job "mathcomp-fingroup"
103103
- if: steps.stepCheck.outputs.status == 'built'
104104
name: 'Building/fetching previous CI target: mathcomp-algebra'
105-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
105+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
106106
--argstr job "mathcomp-algebra"
107-
- if: steps.stepCheck.outputs.status == 'built'
108-
name: 'Building/fetching previous CI target: multinomials'
109-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
110-
--argstr job "multinomials"
111107
- if: steps.stepCheck.outputs.status == 'built'
112108
name: 'Building/fetching previous CI target: mathcomp-character'
113-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
109+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
114110
--argstr job "mathcomp-character"
115111
- if: steps.stepCheck.outputs.status == 'built'
116112
name: 'Building/fetching previous CI target: mathcomp-field'
117-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
113+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
118114
--argstr job "mathcomp-field"
119115
- if: steps.stepCheck.outputs.status == 'built'
120116
name: Building/fetching current CI target
121-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
117+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
122118
--argstr job "coq-combi"
123119
mathcomp:
124120
needs:
@@ -160,53 +156,53 @@ jobs:
160156
- id: stepCheck
161157
name: Checking presence of CI target mathcomp
162158
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
163-
\ bundle \"coq8.18-mc2.2.0\" --argstr job \"mathcomp\" \\\n --dry-run 2>&1\
159+
\ bundle \"coq8.18-mc2.3.0\" --argstr job \"mathcomp\" \\\n --dry-run 2>&1\
164160
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
165161
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
166162
- if: steps.stepCheck.outputs.status == 'built'
167163
name: 'Building/fetching previous CI target: coq'
168-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
164+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
169165
--argstr job "coq"
170166
- if: steps.stepCheck.outputs.status == 'built'
171167
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
172-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
168+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
173169
--argstr job "mathcomp-ssreflect"
174170
- if: steps.stepCheck.outputs.status == 'built'
175171
name: 'Building/fetching previous CI target: mathcomp-fingroup'
176-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
172+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
177173
--argstr job "mathcomp-fingroup"
178174
- if: steps.stepCheck.outputs.status == 'built'
179175
name: 'Building/fetching previous CI target: mathcomp-algebra'
180-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
176+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
181177
--argstr job "mathcomp-algebra"
182178
- if: steps.stepCheck.outputs.status == 'built'
183179
name: 'Building/fetching previous CI target: mathcomp-solvable'
184-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
180+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
185181
--argstr job "mathcomp-solvable"
186182
- if: steps.stepCheck.outputs.status == 'built'
187183
name: 'Building/fetching previous CI target: mathcomp-field'
188-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
184+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
189185
--argstr job "mathcomp-field"
190186
- if: steps.stepCheck.outputs.status == 'built'
191187
name: 'Building/fetching previous CI target: mathcomp-character'
192-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
188+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
193189
--argstr job "mathcomp-character"
194190
- if: steps.stepCheck.outputs.status == 'built'
195191
name: 'Building/fetching previous CI target: hierarchy-builder'
196-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
192+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
197193
--argstr job "hierarchy-builder"
198194
- if: steps.stepCheck.outputs.status == 'built'
199195
name: Building/fetching current CI target
200-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.2.0"
196+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.18-mc2.3.0"
201197
--argstr job "mathcomp"
202-
name: Nix CI for bundle coq8.18-mc2.2.0
198+
name: Nix CI for bundle coq8.18-mc2.3.0
203199
'on':
204200
pull_request:
205201
paths:
206-
- .github/workflows/nix-action-coq8.18-mc2.2.0.yml
202+
- .github/workflows/nix-action-coq8.18-mc2.3.0.yml
207203
pull_request_target:
208204
paths-ignore:
209-
- .github/workflows/nix-action-coq8.18-mc2.2.0.yml
205+
- .github/workflows/nix-action-coq8.18-mc2.3.0.yml
210206
types:
211207
- opened
212208
- synchronize

0 commit comments

Comments
 (0)