Skip to content

Commit 54e413e

Browse files
CohenCyrilCohenCyril
committed
adding nix toolbox
1 parent c0d3db4 commit 54e413e

11 files changed

+1686
-0
lines changed

‎.github/workflows/nix-action-coq8.10+mc1.11.yml‎

Lines changed: 258 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,258 @@
1+
jobs:
2+
coq:
3+
needs: []
4+
runs-on: ubuntu-latest
5+
steps:
6+
- name: Determine which ref to test
7+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_ref=${{\
8+
\ github.ref }}\" >> $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_ref=refs/pull/${{\
11+
\ github.event.number }}/head\" >> $GITHUB_ENV\n else\n echo \"tested_ref=refs/pull/${{\
12+
\ github.event.number }}/merge\" >> $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_ref }}
18+
- name: Cachix install
19+
uses: cachix/install-nix-action@v12
20+
with:
21+
nix_path: nixpkgs=channel:nixpkgs-unstable
22+
- name: Cachix setup coq
23+
uses: cachix/cachix-action@v8
24+
with:
25+
name: coq
26+
- name: Cachix setup coq-community
27+
uses: cachix/cachix-action@v8
28+
with:
29+
name: coq-community
30+
- name: Cachix setup math-comp
31+
uses: cachix/cachix-action@v8
32+
with:
33+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
34+
name: math-comp
35+
- id: stepCheck
36+
name: Checking presence of CI target coq
37+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
38+
\ bundle \"coq8.10+mc1.11\" --argstr job \"coq\" \\\n --dry-run 2>&1 > /dev/null)\n\
39+
echo ::set-output name=status::$(echo $nb_dry_run | grep \"built:\" | sed\
40+
\ \"s/.*/built/\")\n"
41+
- if: steps.stepCheck.outputs.status == 'built'
42+
name: Building/fetching current CI target
43+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
44+
--argstr job "coq"
45+
coqeal:
46+
needs:
47+
- coq
48+
- multinomials
49+
runs-on: ubuntu-latest
50+
steps:
51+
- name: Determine which ref to test
52+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_ref=${{\
53+
\ github.ref }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
54+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
55+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_ref=refs/pull/${{\
56+
\ github.event.number }}/head\" >> $GITHUB_ENV\n else\n echo \"tested_ref=refs/pull/${{\
57+
\ github.event.number }}/merge\" >> $GITHUB_ENV\n fi\nfi\n"
58+
- name: Git checkout
59+
uses: actions/checkout@v2
60+
with:
61+
fetch-depth: 0
62+
ref: ${{ env.tested_ref }}
63+
- name: Cachix install
64+
uses: cachix/install-nix-action@v12
65+
with:
66+
nix_path: nixpkgs=channel:nixpkgs-unstable
67+
- name: Cachix setup coq
68+
uses: cachix/cachix-action@v8
69+
with:
70+
name: coq
71+
- name: Cachix setup coq-community
72+
uses: cachix/cachix-action@v8
73+
with:
74+
name: coq-community
75+
- name: Cachix setup math-comp
76+
uses: cachix/cachix-action@v8
77+
with:
78+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
79+
name: math-comp
80+
- id: stepCheck
81+
name: Checking presence of CI target coqeal
82+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
83+
\ bundle \"coq8.10+mc1.11\" --argstr job \"coqeal\" \\\n --dry-run 2>&1\
84+
\ > /dev/null)\necho ::set-output name=status::$(echo $nb_dry_run | grep \"\
85+
built:\" | sed \"s/.*/built/\")\n"
86+
- if: steps.stepCheck.outputs.status == 'built'
87+
name: 'Building/fetching previous CI target: coq'
88+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
89+
--argstr job "coq"
90+
- if: steps.stepCheck.outputs.status == 'built'
91+
name: 'Building/fetching previous CI target: mathcomp-algebra'
92+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
93+
--argstr job "mathcomp-algebra"
94+
- if: steps.stepCheck.outputs.status == 'built'
95+
name: 'Building/fetching previous CI target: bignums'
96+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
97+
--argstr job "bignums"
98+
- if: steps.stepCheck.outputs.status == 'built'
99+
name: 'Building/fetching previous CI target: paramcoq'
100+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
101+
--argstr job "paramcoq"
102+
- if: steps.stepCheck.outputs.status == 'built'
103+
name: 'Building/fetching previous CI target: multinomials'
104+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
105+
--argstr job "multinomials"
106+
- if: steps.stepCheck.outputs.status == 'built'
107+
name: Building/fetching current CI target
108+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
109+
--argstr job "coqeal"
110+
mathcomp:
111+
needs:
112+
- coq
113+
runs-on: ubuntu-latest
114+
steps:
115+
- name: Determine which ref to test
116+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_ref=${{\
117+
\ github.ref }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
118+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
119+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_ref=refs/pull/${{\
120+
\ github.event.number }}/head\" >> $GITHUB_ENV\n else\n echo \"tested_ref=refs/pull/${{\
121+
\ github.event.number }}/merge\" >> $GITHUB_ENV\n fi\nfi\n"
122+
- name: Git checkout
123+
uses: actions/checkout@v2
124+
with:
125+
fetch-depth: 0
126+
ref: ${{ env.tested_ref }}
127+
- name: Cachix install
128+
uses: cachix/install-nix-action@v12
129+
with:
130+
nix_path: nixpkgs=channel:nixpkgs-unstable
131+
- name: Cachix setup coq
132+
uses: cachix/cachix-action@v8
133+
with:
134+
name: coq
135+
- name: Cachix setup coq-community
136+
uses: cachix/cachix-action@v8
137+
with:
138+
name: coq-community
139+
- name: Cachix setup math-comp
140+
uses: cachix/cachix-action@v8
141+
with:
142+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
143+
name: math-comp
144+
- id: stepCheck
145+
name: Checking presence of CI target mathcomp
146+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
147+
\ bundle \"coq8.10+mc1.11\" --argstr job \"mathcomp\" \\\n --dry-run 2>&1\
148+
\ > /dev/null)\necho ::set-output name=status::$(echo $nb_dry_run | grep \"\
149+
built:\" | sed \"s/.*/built/\")\n"
150+
- if: steps.stepCheck.outputs.status == 'built'
151+
name: 'Building/fetching previous CI target: coq'
152+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
153+
--argstr job "coq"
154+
- if: steps.stepCheck.outputs.status == 'built'
155+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
156+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
157+
--argstr job "mathcomp-ssreflect"
158+
- if: steps.stepCheck.outputs.status == 'built'
159+
name: 'Building/fetching previous CI target: mathcomp-fingroup'
160+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
161+
--argstr job "mathcomp-fingroup"
162+
- if: steps.stepCheck.outputs.status == 'built'
163+
name: 'Building/fetching previous CI target: mathcomp-algebra'
164+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
165+
--argstr job "mathcomp-algebra"
166+
- if: steps.stepCheck.outputs.status == 'built'
167+
name: 'Building/fetching previous CI target: mathcomp-solvable'
168+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
169+
--argstr job "mathcomp-solvable"
170+
- if: steps.stepCheck.outputs.status == 'built'
171+
name: 'Building/fetching previous CI target: mathcomp-field'
172+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
173+
--argstr job "mathcomp-field"
174+
- if: steps.stepCheck.outputs.status == 'built'
175+
name: 'Building/fetching previous CI target: mathcomp-character'
176+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
177+
--argstr job "mathcomp-character"
178+
- if: steps.stepCheck.outputs.status == 'built'
179+
name: Building/fetching current CI target
180+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
181+
--argstr job "mathcomp"
182+
multinomials:
183+
needs:
184+
- coq
185+
runs-on: ubuntu-latest
186+
steps:
187+
- name: Determine which ref to test
188+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_ref=${{\
189+
\ github.ref }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
190+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
191+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_ref=refs/pull/${{\
192+
\ github.event.number }}/head\" >> $GITHUB_ENV\n else\n echo \"tested_ref=refs/pull/${{\
193+
\ github.event.number }}/merge\" >> $GITHUB_ENV\n fi\nfi\n"
194+
- name: Git checkout
195+
uses: actions/checkout@v2
196+
with:
197+
fetch-depth: 0
198+
ref: ${{ env.tested_ref }}
199+
- name: Cachix install
200+
uses: cachix/install-nix-action@v12
201+
with:
202+
nix_path: nixpkgs=channel:nixpkgs-unstable
203+
- name: Cachix setup coq
204+
uses: cachix/cachix-action@v8
205+
with:
206+
name: coq
207+
- name: Cachix setup coq-community
208+
uses: cachix/cachix-action@v8
209+
with:
210+
name: coq-community
211+
- name: Cachix setup math-comp
212+
uses: cachix/cachix-action@v8
213+
with:
214+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
215+
name: math-comp
216+
- id: stepCheck
217+
name: Checking presence of CI target multinomials
218+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
219+
\ bundle \"coq8.10+mc1.11\" --argstr job \"multinomials\" \\\n --dry-run\
220+
\ 2>&1 > /dev/null)\necho ::set-output name=status::$(echo $nb_dry_run | grep\
221+
\ \"built:\" | sed \"s/.*/built/\")\n"
222+
- if: steps.stepCheck.outputs.status == 'built'
223+
name: 'Building/fetching previous CI target: coq'
224+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
225+
--argstr job "coq"
226+
- if: steps.stepCheck.outputs.status == 'built'
227+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
228+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
229+
--argstr job "mathcomp-ssreflect"
230+
- if: steps.stepCheck.outputs.status == 'built'
231+
name: 'Building/fetching previous CI target: mathcomp-algebra'
232+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
233+
--argstr job "mathcomp-algebra"
234+
- if: steps.stepCheck.outputs.status == 'built'
235+
name: 'Building/fetching previous CI target: mathcomp-finmap'
236+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
237+
--argstr job "mathcomp-finmap"
238+
- if: steps.stepCheck.outputs.status == 'built'
239+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
240+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
241+
--argstr job "mathcomp-bigenough"
242+
- if: steps.stepCheck.outputs.status == 'built'
243+
name: Building/fetching current CI target
244+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "coq8.10+mc1.11"
245+
--argstr job "multinomials"
246+
name: Nix CI for bundle coq8.10+mc1.11
247+
'on':
248+
pull_request:
249+
paths:
250+
- .github/workflows/**
251+
pull_request_target:
252+
types:
253+
- opened
254+
- synchronize
255+
- reopened
256+
push:
257+
branches:
258+
- master

0 commit comments

Comments
 (0)