Skip to content

Commit de0c64f

Browse files
proux01proux01
committed
Add missing dependency
1 parent 51c81c7 commit de0c64f

11 files changed

+787
-20
lines changed

‎.github/workflows/nix-action-8.19.yml‎

Lines changed: 257 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -126,9 +126,75 @@ jobs:
126126
name: Building/fetching current CI target
127127
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
128128
job "mathcomp"
129+
mathcomp-altreals:
130+
needs:
131+
- coq
132+
- mathcomp-reals
133+
runs-on: ubuntu-latest
134+
steps:
135+
- name: Determine which commit to initially checkout
136+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
137+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
138+
\ }}\" >> $GITHUB_ENV\nfi\n"
139+
- name: Git checkout
140+
uses: actions/checkout@v4
141+
with:
142+
fetch-depth: 0
143+
ref: ${{ env.target_commit }}
144+
- name: Determine which commit to test
145+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
146+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
147+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
148+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
149+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
150+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
151+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
152+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
153+
- name: Git checkout
154+
uses: actions/checkout@v4
155+
with:
156+
fetch-depth: 0
157+
ref: ${{ env.tested_commit }}
158+
- name: Cachix install
159+
uses: cachix/install-nix-action@v27
160+
with:
161+
nix_path: nixpkgs=channel:nixpkgs-unstable
162+
- name: Cachix setup math-comp
163+
uses: cachix/cachix-action@v15
164+
with:
165+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
166+
extraPullNames: coq, coq-community
167+
name: math-comp
168+
- id: stepCheck
169+
name: Checking presence of CI target mathcomp-altreals
170+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
171+
\ bundle \"8.19\" --argstr job \"mathcomp-altreals\" \\\n --dry-run 2>&1\
172+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
173+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
174+
- if: steps.stepCheck.outputs.status == 'built'
175+
name: 'Building/fetching previous CI target: coq'
176+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
177+
job "coq"
178+
- if: steps.stepCheck.outputs.status == 'built'
179+
name: 'Building/fetching previous CI target: mathcomp-reals'
180+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
181+
job "mathcomp-reals"
182+
- if: steps.stepCheck.outputs.status == 'built'
183+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
184+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
185+
job "mathcomp-bigenough"
186+
- if: steps.stepCheck.outputs.status == 'built'
187+
name: 'Building/fetching previous CI target: hierarchy-builder'
188+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
189+
job "hierarchy-builder"
190+
- if: steps.stepCheck.outputs.status == 'built'
191+
name: Building/fetching current CI target
192+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
193+
job "mathcomp-altreals"
129194
mathcomp-analysis:
130195
needs:
131196
- coq
197+
- mathcomp-reals
132198
runs-on: ubuntu-latest
133199
steps:
134200
- name: Determine which commit to initially checkout
@@ -250,6 +316,10 @@ jobs:
250316
name: 'Building/fetching previous CI target: mathcomp-finmap'
251317
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
252318
job "mathcomp-finmap"
319+
- if: steps.stepCheck.outputs.status == 'built'
320+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
321+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
322+
job "mathcomp-bigenough"
253323
- if: steps.stepCheck.outputs.status == 'built'
254324
name: 'Building/fetching previous CI target: mathcomp-field'
255325
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
@@ -270,6 +340,7 @@ jobs:
270340
needs:
271341
- coq
272342
- mathcomp-analysis
343+
- mathcomp-reals-stdlib
273344
runs-on: ubuntu-latest
274345
steps:
275346
- name: Determine which commit to initially checkout
@@ -331,6 +402,192 @@ jobs:
331402
name: Building/fetching current CI target
332403
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
333404
job "mathcomp-analysis-stdlib"
405+
mathcomp-classical:
406+
needs:
407+
- coq
408+
runs-on: ubuntu-latest
409+
steps:
410+
- name: Determine which commit to initially checkout
411+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
412+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
413+
\ }}\" >> $GITHUB_ENV\nfi\n"
414+
- name: Git checkout
415+
uses: actions/checkout@v4
416+
with:
417+
fetch-depth: 0
418+
ref: ${{ env.target_commit }}
419+
- name: Determine which commit to test
420+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
421+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
422+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
423+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
424+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
425+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
426+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
427+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
428+
- name: Git checkout
429+
uses: actions/checkout@v4
430+
with:
431+
fetch-depth: 0
432+
ref: ${{ env.tested_commit }}
433+
- name: Cachix install
434+
uses: cachix/install-nix-action@v27
435+
with:
436+
nix_path: nixpkgs=channel:nixpkgs-unstable
437+
- name: Cachix setup math-comp
438+
uses: cachix/cachix-action@v15
439+
with:
440+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
441+
extraPullNames: coq, coq-community
442+
name: math-comp
443+
- id: stepCheck
444+
name: Checking presence of CI target mathcomp-classical
445+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
446+
\ bundle \"8.19\" --argstr job \"mathcomp-classical\" \\\n --dry-run 2>&1\
447+
\ > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"\
448+
built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
449+
- if: steps.stepCheck.outputs.status == 'built'
450+
name: 'Building/fetching previous CI target: coq'
451+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
452+
job "coq"
453+
- if: steps.stepCheck.outputs.status == 'built'
454+
name: 'Building/fetching previous CI target: mathcomp-algebra'
455+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
456+
job "mathcomp-algebra"
457+
- if: steps.stepCheck.outputs.status == 'built'
458+
name: 'Building/fetching previous CI target: mathcomp-finmap'
459+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
460+
job "mathcomp-finmap"
461+
- if: steps.stepCheck.outputs.status == 'built'
462+
name: 'Building/fetching previous CI target: hierarchy-builder'
463+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
464+
job "hierarchy-builder"
465+
- if: steps.stepCheck.outputs.status == 'built'
466+
name: Building/fetching current CI target
467+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
468+
job "mathcomp-classical"
469+
mathcomp-reals:
470+
needs:
471+
- coq
472+
- mathcomp-classical
473+
runs-on: ubuntu-latest
474+
steps:
475+
- name: Determine which commit to initially checkout
476+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
477+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
478+
\ }}\" >> $GITHUB_ENV\nfi\n"
479+
- name: Git checkout
480+
uses: actions/checkout@v4
481+
with:
482+
fetch-depth: 0
483+
ref: ${{ env.target_commit }}
484+
- name: Determine which commit to test
485+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
486+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
487+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
488+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
489+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
490+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
491+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
492+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
493+
- name: Git checkout
494+
uses: actions/checkout@v4
495+
with:
496+
fetch-depth: 0
497+
ref: ${{ env.tested_commit }}
498+
- name: Cachix install
499+
uses: cachix/install-nix-action@v27
500+
with:
501+
nix_path: nixpkgs=channel:nixpkgs-unstable
502+
- name: Cachix setup math-comp
503+
uses: cachix/cachix-action@v15
504+
with:
505+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
506+
extraPullNames: coq, coq-community
507+
name: math-comp
508+
- id: stepCheck
509+
name: Checking presence of CI target mathcomp-reals
510+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
511+
\ bundle \"8.19\" --argstr job \"mathcomp-reals\" \\\n --dry-run 2>&1 >\
512+
\ /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep \"built:\"\
513+
\ | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
514+
- if: steps.stepCheck.outputs.status == 'built'
515+
name: 'Building/fetching previous CI target: coq'
516+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
517+
job "coq"
518+
- if: steps.stepCheck.outputs.status == 'built'
519+
name: 'Building/fetching previous CI target: mathcomp-classical'
520+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
521+
job "mathcomp-classical"
522+
- if: steps.stepCheck.outputs.status == 'built'
523+
name: 'Building/fetching previous CI target: hierarchy-builder'
524+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
525+
job "hierarchy-builder"
526+
- if: steps.stepCheck.outputs.status == 'built'
527+
name: Building/fetching current CI target
528+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
529+
job "mathcomp-reals"
530+
mathcomp-reals-stdlib:
531+
needs:
532+
- coq
533+
- mathcomp-reals
534+
runs-on: ubuntu-latest
535+
steps:
536+
- name: Determine which commit to initially checkout
537+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"target_commit=${{\
538+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n echo \"target_commit=${{ github.event.pull_request.head.sha\
539+
\ }}\" >> $GITHUB_ENV\nfi\n"
540+
- name: Git checkout
541+
uses: actions/checkout@v4
542+
with:
543+
fetch-depth: 0
544+
ref: ${{ env.target_commit }}
545+
- name: Determine which commit to test
546+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
547+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
548+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
549+
\ | cut -f1)\n mergeable=$(git merge --no-commit --no-ff ${{ github.event.pull_request.base.sha\
550+
\ }} > /dev/null 2>&1; echo $?; git merge --abort > /dev/null 2>&1 || true)\n\
551+
\ if [ -z \"$merge_commit\" -o \"x$mergeable\" != \"x0\" ]; then\n echo\
552+
\ \"tested_commit=${{ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n\
553+
\ else\n echo \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
554+
- name: Git checkout
555+
uses: actions/checkout@v4
556+
with:
557+
fetch-depth: 0
558+
ref: ${{ env.tested_commit }}
559+
- name: Cachix install
560+
uses: cachix/install-nix-action@v27
561+
with:
562+
nix_path: nixpkgs=channel:nixpkgs-unstable
563+
- name: Cachix setup math-comp
564+
uses: cachix/cachix-action@v15
565+
with:
566+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
567+
extraPullNames: coq, coq-community
568+
name: math-comp
569+
- id: stepCheck
570+
name: Checking presence of CI target mathcomp-reals-stdlib
571+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
572+
\ bundle \"8.19\" --argstr job \"mathcomp-reals-stdlib\" \\\n --dry-run\
573+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho status=$(echo $nb_dry_run | grep\
574+
\ \"built:\" | sed \"s/.*/built/\") >> $GITHUB_OUTPUT\n"
575+
- if: steps.stepCheck.outputs.status == 'built'
576+
name: 'Building/fetching previous CI target: coq'
577+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
578+
job "coq"
579+
- if: steps.stepCheck.outputs.status == 'built'
580+
name: 'Building/fetching previous CI target: mathcomp-reals'
581+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
582+
job "mathcomp-reals"
583+
- if: steps.stepCheck.outputs.status == 'built'
584+
name: 'Building/fetching previous CI target: hierarchy-builder'
585+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
586+
job "hierarchy-builder"
587+
- if: steps.stepCheck.outputs.status == 'built'
588+
name: Building/fetching current CI target
589+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.19" --argstr
590+
job "mathcomp-reals-stdlib"
334591
name: Nix CI for bundle 8.19
335592
'on':
336593
pull_request:

0 commit comments

Comments
 (0)