Skip to content

Commit cd64bd6

Browse files
proux01proux01
authored
Merge pull request #122 from proux01/test_mathcomp-analysis-single
Test mathcomp-analysis-single
2 parents 84cb9c4 + c5e73c9 commit cd64bd6

File tree

7 files changed

+215
-92
lines changed

7 files changed

+215
-92
lines changed

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

Lines changed: 10 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2101,10 +2101,9 @@ jobs:
21012101
mathcomp-analysis:
21022102
needs:
21032103
- coq
2104+
- mathcomp-classical
21042105
- mathcomp-field
21052106
- mathcomp-bigenough
2106-
- mathcomp-real-closed
2107-
- mathcomp-classical
21082107
- hierarchy-builder
21092108
runs-on: ubuntu-latest
21102109
steps:
@@ -2140,6 +2139,10 @@ jobs:
21402139
name: 'Building/fetching previous CI target: coq'
21412140
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
21422141
job "coq"
2142+
- if: steps.stepCheck.outputs.status == 'built'
2143+
name: 'Building/fetching previous CI target: mathcomp-classical'
2144+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2145+
job "mathcomp-classical"
21432146
- if: steps.stepCheck.outputs.status == 'built'
21442147
name: 'Building/fetching previous CI target: mathcomp-field'
21452148
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
@@ -2148,14 +2151,6 @@ jobs:
21482151
name: 'Building/fetching previous CI target: mathcomp-bigenough'
21492152
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
21502153
job "mathcomp-bigenough"
2151-
- if: steps.stepCheck.outputs.status == 'built'
2152-
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2153-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2154-
job "mathcomp-real-closed"
2155-
- if: steps.stepCheck.outputs.status == 'built'
2156-
name: 'Building/fetching previous CI target: mathcomp-classical'
2157-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2158-
job "mathcomp-classical"
21592154
- if: steps.stepCheck.outputs.status == 'built'
21602155
name: 'Building/fetching previous CI target: hierarchy-builder'
21612156
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
@@ -2279,10 +2274,10 @@ jobs:
22792274
mathcomp-classical:
22802275
needs:
22812276
- coq
2282-
- mathcomp-ssreflect
22832277
- mathcomp-algebra
22842278
- mathcomp-finmap
22852279
- hierarchy-builder
2280+
- hierarchy-builder
22862281
runs-on: ubuntu-latest
22872282
steps:
22882283
- name: Determine which commit to test
@@ -2317,10 +2312,6 @@ jobs:
23172312
name: 'Building/fetching previous CI target: coq'
23182313
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
23192314
job "coq"
2320-
- if: steps.stepCheck.outputs.status == 'built'
2321-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
2322-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2323-
job "mathcomp-ssreflect"
23242315
- if: steps.stepCheck.outputs.status == 'built'
23252316
name: 'Building/fetching previous CI target: mathcomp-algebra'
23262317
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
@@ -2333,6 +2324,10 @@ jobs:
23332324
name: 'Building/fetching previous CI target: hierarchy-builder'
23342325
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
23352326
job "hierarchy-builder"
2327+
- if: steps.stepCheck.outputs.status == 'built'
2328+
name: 'Building/fetching previous CI target: hierarchy-builder'
2329+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2330+
job "hierarchy-builder"
23362331
- if: steps.stepCheck.outputs.status == 'built'
23372332
name: Building/fetching current CI target
23382333
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr

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

Lines changed: 10 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2152,10 +2152,9 @@ jobs:
21522152
mathcomp-analysis:
21532153
needs:
21542154
- coq
2155+
- mathcomp-classical
21552156
- mathcomp-field
21562157
- mathcomp-bigenough
2157-
- mathcomp-real-closed
2158-
- mathcomp-classical
21592158
- hierarchy-builder
21602159
runs-on: ubuntu-latest
21612160
steps:
@@ -2191,6 +2190,10 @@ jobs:
21912190
name: 'Building/fetching previous CI target: coq'
21922191
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
21932192
job "coq"
2193+
- if: steps.stepCheck.outputs.status == 'built'
2194+
name: 'Building/fetching previous CI target: mathcomp-classical'
2195+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
2196+
job "mathcomp-classical"
21942197
- if: steps.stepCheck.outputs.status == 'built'
21952198
name: 'Building/fetching previous CI target: mathcomp-field'
21962199
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
@@ -2199,14 +2202,6 @@ jobs:
21992202
name: 'Building/fetching previous CI target: mathcomp-bigenough'
22002203
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
22012204
job "mathcomp-bigenough"
2202-
- if: steps.stepCheck.outputs.status == 'built'
2203-
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2204-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
2205-
job "mathcomp-real-closed"
2206-
- if: steps.stepCheck.outputs.status == 'built'
2207-
name: 'Building/fetching previous CI target: mathcomp-classical'
2208-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
2209-
job "mathcomp-classical"
22102205
- if: steps.stepCheck.outputs.status == 'built'
22112206
name: 'Building/fetching previous CI target: hierarchy-builder'
22122207
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
@@ -2330,10 +2325,10 @@ jobs:
23302325
mathcomp-classical:
23312326
needs:
23322327
- coq
2333-
- mathcomp-ssreflect
23342328
- mathcomp-algebra
23352329
- mathcomp-finmap
23362330
- hierarchy-builder
2331+
- hierarchy-builder
23372332
runs-on: ubuntu-latest
23382333
steps:
23392334
- name: Determine which commit to test
@@ -2368,10 +2363,6 @@ jobs:
23682363
name: 'Building/fetching previous CI target: coq'
23692364
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
23702365
job "coq"
2371-
- if: steps.stepCheck.outputs.status == 'built'
2372-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
2373-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
2374-
job "mathcomp-ssreflect"
23752366
- if: steps.stepCheck.outputs.status == 'built'
23762367
name: 'Building/fetching previous CI target: mathcomp-algebra'
23772368
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
@@ -2384,6 +2375,10 @@ jobs:
23842375
name: 'Building/fetching previous CI target: hierarchy-builder'
23852376
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
23862377
job "hierarchy-builder"
2378+
- if: steps.stepCheck.outputs.status == 'built'
2379+
name: 'Building/fetching previous CI target: hierarchy-builder'
2380+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr
2381+
job "hierarchy-builder"
23872382
- if: steps.stepCheck.outputs.status == 'built'
23882383
name: Building/fetching current CI target
23892384
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.12" --argstr

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

Lines changed: 10 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2315,10 +2315,9 @@ jobs:
23152315
mathcomp-analysis:
23162316
needs:
23172317
- coq
2318+
- mathcomp-classical
23182319
- mathcomp-field
23192320
- mathcomp-bigenough
2320-
- mathcomp-real-closed
2321-
- mathcomp-classical
23222321
- hierarchy-builder
23232322
runs-on: ubuntu-latest
23242323
steps:
@@ -2354,6 +2353,10 @@ jobs:
23542353
name: 'Building/fetching previous CI target: coq'
23552354
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
23562355
job "coq"
2356+
- if: steps.stepCheck.outputs.status == 'built'
2357+
name: 'Building/fetching previous CI target: mathcomp-classical'
2358+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2359+
job "mathcomp-classical"
23572360
- if: steps.stepCheck.outputs.status == 'built'
23582361
name: 'Building/fetching previous CI target: mathcomp-field'
23592362
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
@@ -2362,14 +2365,6 @@ jobs:
23622365
name: 'Building/fetching previous CI target: mathcomp-bigenough'
23632366
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
23642367
job "mathcomp-bigenough"
2365-
- if: steps.stepCheck.outputs.status == 'built'
2366-
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2367-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2368-
job "mathcomp-real-closed"
2369-
- if: steps.stepCheck.outputs.status == 'built'
2370-
name: 'Building/fetching previous CI target: mathcomp-classical'
2371-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2372-
job "mathcomp-classical"
23732368
- if: steps.stepCheck.outputs.status == 'built'
23742369
name: 'Building/fetching previous CI target: hierarchy-builder'
23752370
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
@@ -2493,10 +2488,10 @@ jobs:
24932488
mathcomp-classical:
24942489
needs:
24952490
- coq
2496-
- mathcomp-ssreflect
24972491
- mathcomp-algebra
24982492
- mathcomp-finmap
24992493
- hierarchy-builder
2494+
- hierarchy-builder
25002495
runs-on: ubuntu-latest
25012496
steps:
25022497
- name: Determine which commit to test
@@ -2531,10 +2526,6 @@ jobs:
25312526
name: 'Building/fetching previous CI target: coq'
25322527
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
25332528
job "coq"
2534-
- if: steps.stepCheck.outputs.status == 'built'
2535-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
2536-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2537-
job "mathcomp-ssreflect"
25382529
- if: steps.stepCheck.outputs.status == 'built'
25392530
name: 'Building/fetching previous CI target: mathcomp-algebra'
25402531
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
@@ -2547,6 +2538,10 @@ jobs:
25472538
name: 'Building/fetching previous CI target: hierarchy-builder'
25482539
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
25492540
job "hierarchy-builder"
2541+
- if: steps.stepCheck.outputs.status == 'built'
2542+
name: 'Building/fetching previous CI target: hierarchy-builder'
2543+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2544+
job "hierarchy-builder"
25502545
- if: steps.stepCheck.outputs.status == 'built'
25512546
name: Building/fetching current CI target
25522547
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr

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

Lines changed: 10 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2356,10 +2356,9 @@ jobs:
23562356
mathcomp-analysis:
23572357
needs:
23582358
- coq
2359+
- mathcomp-classical
23592360
- mathcomp-field
23602361
- mathcomp-bigenough
2361-
- mathcomp-real-closed
2362-
- mathcomp-classical
23632362
- hierarchy-builder
23642363
runs-on: ubuntu-latest
23652364
steps:
@@ -2395,6 +2394,10 @@ jobs:
23952394
name: 'Building/fetching previous CI target: coq'
23962395
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
23972396
job "coq"
2397+
- if: steps.stepCheck.outputs.status == 'built'
2398+
name: 'Building/fetching previous CI target: mathcomp-classical'
2399+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2400+
job "mathcomp-classical"
23982401
- if: steps.stepCheck.outputs.status == 'built'
23992402
name: 'Building/fetching previous CI target: mathcomp-field'
24002403
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
@@ -2403,14 +2406,6 @@ jobs:
24032406
name: 'Building/fetching previous CI target: mathcomp-bigenough'
24042407
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
24052408
job "mathcomp-bigenough"
2406-
- if: steps.stepCheck.outputs.status == 'built'
2407-
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2408-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2409-
job "mathcomp-real-closed"
2410-
- if: steps.stepCheck.outputs.status == 'built'
2411-
name: 'Building/fetching previous CI target: mathcomp-classical'
2412-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2413-
job "mathcomp-classical"
24142409
- if: steps.stepCheck.outputs.status == 'built'
24152410
name: 'Building/fetching previous CI target: hierarchy-builder'
24162411
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
@@ -2534,10 +2529,10 @@ jobs:
25342529
mathcomp-classical:
25352530
needs:
25362531
- coq
2537-
- mathcomp-ssreflect
25382532
- mathcomp-algebra
25392533
- mathcomp-finmap
25402534
- hierarchy-builder
2535+
- hierarchy-builder
25412536
runs-on: ubuntu-latest
25422537
steps:
25432538
- name: Determine which commit to test
@@ -2572,10 +2567,6 @@ jobs:
25722567
name: 'Building/fetching previous CI target: coq'
25732568
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
25742569
job "coq"
2575-
- if: steps.stepCheck.outputs.status == 'built'
2576-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
2577-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2578-
job "mathcomp-ssreflect"
25792570
- if: steps.stepCheck.outputs.status == 'built'
25802571
name: 'Building/fetching previous CI target: mathcomp-algebra'
25812572
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
@@ -2588,6 +2579,10 @@ jobs:
25882579
name: 'Building/fetching previous CI target: hierarchy-builder'
25892580
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
25902581
job "hierarchy-builder"
2582+
- if: steps.stepCheck.outputs.status == 'built'
2583+
name: 'Building/fetching previous CI target: hierarchy-builder'
2584+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2585+
job "hierarchy-builder"
25912586
- if: steps.stepCheck.outputs.status == 'built'
25922587
name: Building/fetching current CI target
25932588
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr

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

Lines changed: 10 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -2356,10 +2356,9 @@ jobs:
23562356
mathcomp-analysis:
23572357
needs:
23582358
- coq
2359+
- mathcomp-classical
23592360
- mathcomp-field
23602361
- mathcomp-bigenough
2361-
- mathcomp-real-closed
2362-
- mathcomp-classical
23632362
- hierarchy-builder
23642363
runs-on: ubuntu-latest
23652364
steps:
@@ -2395,6 +2394,10 @@ jobs:
23952394
name: 'Building/fetching previous CI target: coq'
23962395
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
23972396
job "coq"
2397+
- if: steps.stepCheck.outputs.status == 'built'
2398+
name: 'Building/fetching previous CI target: mathcomp-classical'
2399+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2400+
job "mathcomp-classical"
23982401
- if: steps.stepCheck.outputs.status == 'built'
23992402
name: 'Building/fetching previous CI target: mathcomp-field'
24002403
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
@@ -2403,14 +2406,6 @@ jobs:
24032406
name: 'Building/fetching previous CI target: mathcomp-bigenough'
24042407
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
24052408
job "mathcomp-bigenough"
2406-
- if: steps.stepCheck.outputs.status == 'built'
2407-
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2408-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2409-
job "mathcomp-real-closed"
2410-
- if: steps.stepCheck.outputs.status == 'built'
2411-
name: 'Building/fetching previous CI target: mathcomp-classical'
2412-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2413-
job "mathcomp-classical"
24142409
- if: steps.stepCheck.outputs.status == 'built'
24152410
name: 'Building/fetching previous CI target: hierarchy-builder'
24162411
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
@@ -2534,10 +2529,10 @@ jobs:
25342529
mathcomp-classical:
25352530
needs:
25362531
- coq
2537-
- mathcomp-ssreflect
25382532
- mathcomp-algebra
25392533
- mathcomp-finmap
25402534
- hierarchy-builder
2535+
- hierarchy-builder
25412536
runs-on: ubuntu-latest
25422537
steps:
25432538
- name: Determine which commit to test
@@ -2572,10 +2567,6 @@ jobs:
25722567
name: 'Building/fetching previous CI target: coq'
25732568
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
25742569
job "coq"
2575-
- if: steps.stepCheck.outputs.status == 'built'
2576-
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
2577-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2578-
job "mathcomp-ssreflect"
25792570
- if: steps.stepCheck.outputs.status == 'built'
25802571
name: 'Building/fetching previous CI target: mathcomp-algebra'
25812572
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
@@ -2588,6 +2579,10 @@ jobs:
25882579
name: 'Building/fetching previous CI target: hierarchy-builder'
25892580
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
25902581
job "hierarchy-builder"
2582+
- if: steps.stepCheck.outputs.status == 'built'
2583+
name: 'Building/fetching previous CI target: hierarchy-builder'
2584+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2585+
job "hierarchy-builder"
25912586
- if: steps.stepCheck.outputs.status == 'built'
25922587
name: Building/fetching current CI target
25932588
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr

0 commit comments

Comments
 (0)