Skip to content

Commit 6cde214

Browse files
proux01proux01
authored
Merge pull request #139 from proux01/test_apery
Adding Apery
2 parents a197919 + 71dde47 commit 6cde214

File tree

6 files changed

+460
-7
lines changed

6 files changed

+460
-7
lines changed

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

Lines changed: 71 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -324,7 +324,6 @@ jobs:
324324
VST:
325325
needs:
326326
- coq
327-
- ITree
328327
- compcert
329328
runs-on: ubuntu-latest
330329
steps:
@@ -360,10 +359,6 @@ jobs:
360359
name: 'Building/fetching previous CI target: coq'
361360
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
362361
job "coq"
363-
- if: steps.stepCheck.outputs.status == 'built'
364-
name: 'Building/fetching previous CI target: ITree'
365-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
366-
job "ITree"
367362
- if: steps.stepCheck.outputs.status == 'built'
368363
name: 'Building/fetching previous CI target: compcert'
369364
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
@@ -2251,6 +2246,77 @@ jobs:
22512246
name: Building/fetching current CI target
22522247
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
22532248
job "mathcomp-algebra-tactics"
2249+
mathcomp-apery:
2250+
needs:
2251+
- coq
2252+
- mathcomp-field
2253+
- coqeal
2254+
- mathcomp-real-closed
2255+
- mathcomp-bigenough
2256+
- mathcomp-zify
2257+
- mathcomp-algebra-tactics
2258+
runs-on: ubuntu-latest
2259+
steps:
2260+
- name: Determine which commit to test
2261+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2262+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2263+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2264+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2265+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2266+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2267+
- name: Git checkout
2268+
uses: actions/checkout@v2
2269+
with:
2270+
fetch-depth: 0
2271+
ref: ${{ env.tested_commit }}
2272+
- name: Cachix install
2273+
uses: cachix/install-nix-action@v20
2274+
with:
2275+
nix_path: nixpkgs=channel:nixpkgs-unstable
2276+
- name: Cachix setup coq-community
2277+
uses: cachix/cachix-action@v12
2278+
with:
2279+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2280+
extraPullNames: coq, math-comp
2281+
name: coq-community
2282+
- id: stepCheck
2283+
name: Checking presence of CI target mathcomp-apery
2284+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2285+
\ bundle \"8.13\" --argstr job \"mathcomp-apery\" \\\n --dry-run 2>&1 >\
2286+
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\
2287+
\ | grep \"built:\" | sed \"s/.*/built/\")\n"
2288+
- if: steps.stepCheck.outputs.status == 'built'
2289+
name: 'Building/fetching previous CI target: coq'
2290+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2291+
job "coq"
2292+
- if: steps.stepCheck.outputs.status == 'built'
2293+
name: 'Building/fetching previous CI target: mathcomp-field'
2294+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2295+
job "mathcomp-field"
2296+
- if: steps.stepCheck.outputs.status == 'built'
2297+
name: 'Building/fetching previous CI target: coqeal'
2298+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2299+
job "coqeal"
2300+
- if: steps.stepCheck.outputs.status == 'built'
2301+
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2302+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2303+
job "mathcomp-real-closed"
2304+
- if: steps.stepCheck.outputs.status == 'built'
2305+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
2306+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2307+
job "mathcomp-bigenough"
2308+
- if: steps.stepCheck.outputs.status == 'built'
2309+
name: 'Building/fetching previous CI target: mathcomp-zify'
2310+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2311+
job "mathcomp-zify"
2312+
- if: steps.stepCheck.outputs.status == 'built'
2313+
name: 'Building/fetching previous CI target: mathcomp-algebra-tactics'
2314+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2315+
job "mathcomp-algebra-tactics"
2316+
- if: steps.stepCheck.outputs.status == 'built'
2317+
name: Building/fetching current CI target
2318+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2319+
job "mathcomp-apery"
22542320
mathcomp-bigenough:
22552321
needs:
22562322
- coq

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

Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2455,6 +2455,77 @@ jobs:
24552455
name: Building/fetching current CI target
24562456
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
24572457
job "mathcomp-analysis"
2458+
mathcomp-apery:
2459+
needs:
2460+
- coq
2461+
- mathcomp-field
2462+
- coqeal
2463+
- mathcomp-real-closed
2464+
- mathcomp-bigenough
2465+
- mathcomp-zify
2466+
- mathcomp-algebra-tactics
2467+
runs-on: ubuntu-latest
2468+
steps:
2469+
- name: Determine which commit to test
2470+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2471+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2472+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2473+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2474+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2475+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2476+
- name: Git checkout
2477+
uses: actions/checkout@v2
2478+
with:
2479+
fetch-depth: 0
2480+
ref: ${{ env.tested_commit }}
2481+
- name: Cachix install
2482+
uses: cachix/install-nix-action@v20
2483+
with:
2484+
nix_path: nixpkgs=channel:nixpkgs-unstable
2485+
- name: Cachix setup coq-community
2486+
uses: cachix/cachix-action@v12
2487+
with:
2488+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2489+
extraPullNames: coq, math-comp
2490+
name: coq-community
2491+
- id: stepCheck
2492+
name: Checking presence of CI target mathcomp-apery
2493+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2494+
\ bundle \"8.14\" --argstr job \"mathcomp-apery\" \\\n --dry-run 2>&1 >\
2495+
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\
2496+
\ | grep \"built:\" | sed \"s/.*/built/\")\n"
2497+
- if: steps.stepCheck.outputs.status == 'built'
2498+
name: 'Building/fetching previous CI target: coq'
2499+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2500+
job "coq"
2501+
- if: steps.stepCheck.outputs.status == 'built'
2502+
name: 'Building/fetching previous CI target: mathcomp-field'
2503+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2504+
job "mathcomp-field"
2505+
- if: steps.stepCheck.outputs.status == 'built'
2506+
name: 'Building/fetching previous CI target: coqeal'
2507+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2508+
job "coqeal"
2509+
- if: steps.stepCheck.outputs.status == 'built'
2510+
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2511+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2512+
job "mathcomp-real-closed"
2513+
- if: steps.stepCheck.outputs.status == 'built'
2514+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
2515+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2516+
job "mathcomp-bigenough"
2517+
- if: steps.stepCheck.outputs.status == 'built'
2518+
name: 'Building/fetching previous CI target: mathcomp-zify'
2519+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2520+
job "mathcomp-zify"
2521+
- if: steps.stepCheck.outputs.status == 'built'
2522+
name: 'Building/fetching previous CI target: mathcomp-algebra-tactics'
2523+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2524+
job "mathcomp-algebra-tactics"
2525+
- if: steps.stepCheck.outputs.status == 'built'
2526+
name: Building/fetching current CI target
2527+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2528+
job "mathcomp-apery"
24582529
mathcomp-bigenough:
24592530
needs:
24602531
- coq

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

Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2455,6 +2455,77 @@ jobs:
24552455
name: Building/fetching current CI target
24562456
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
24572457
job "mathcomp-analysis"
2458+
mathcomp-apery:
2459+
needs:
2460+
- coq
2461+
- mathcomp-field
2462+
- coqeal
2463+
- mathcomp-real-closed
2464+
- mathcomp-bigenough
2465+
- mathcomp-zify
2466+
- mathcomp-algebra-tactics
2467+
runs-on: ubuntu-latest
2468+
steps:
2469+
- name: Determine which commit to test
2470+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2471+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2472+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2473+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2474+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2475+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2476+
- name: Git checkout
2477+
uses: actions/checkout@v2
2478+
with:
2479+
fetch-depth: 0
2480+
ref: ${{ env.tested_commit }}
2481+
- name: Cachix install
2482+
uses: cachix/install-nix-action@v20
2483+
with:
2484+
nix_path: nixpkgs=channel:nixpkgs-unstable
2485+
- name: Cachix setup coq-community
2486+
uses: cachix/cachix-action@v12
2487+
with:
2488+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2489+
extraPullNames: coq, math-comp
2490+
name: coq-community
2491+
- id: stepCheck
2492+
name: Checking presence of CI target mathcomp-apery
2493+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2494+
\ bundle \"8.15\" --argstr job \"mathcomp-apery\" \\\n --dry-run 2>&1 >\
2495+
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\
2496+
\ | grep \"built:\" | sed \"s/.*/built/\")\n"
2497+
- if: steps.stepCheck.outputs.status == 'built'
2498+
name: 'Building/fetching previous CI target: coq'
2499+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2500+
job "coq"
2501+
- if: steps.stepCheck.outputs.status == 'built'
2502+
name: 'Building/fetching previous CI target: mathcomp-field'
2503+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2504+
job "mathcomp-field"
2505+
- if: steps.stepCheck.outputs.status == 'built'
2506+
name: 'Building/fetching previous CI target: coqeal'
2507+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2508+
job "coqeal"
2509+
- if: steps.stepCheck.outputs.status == 'built'
2510+
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2511+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2512+
job "mathcomp-real-closed"
2513+
- if: steps.stepCheck.outputs.status == 'built'
2514+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
2515+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2516+
job "mathcomp-bigenough"
2517+
- if: steps.stepCheck.outputs.status == 'built'
2518+
name: 'Building/fetching previous CI target: mathcomp-zify'
2519+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2520+
job "mathcomp-zify"
2521+
- if: steps.stepCheck.outputs.status == 'built'
2522+
name: 'Building/fetching previous CI target: mathcomp-algebra-tactics'
2523+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2524+
job "mathcomp-algebra-tactics"
2525+
- if: steps.stepCheck.outputs.status == 'built'
2526+
name: Building/fetching current CI target
2527+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2528+
job "mathcomp-apery"
24582529
mathcomp-bigenough:
24592530
needs:
24602531
- coq

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

Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2419,6 +2419,77 @@ jobs:
24192419
name: Building/fetching current CI target
24202420
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
24212421
job "mathcomp-analysis"
2422+
mathcomp-apery:
2423+
needs:
2424+
- coq
2425+
- mathcomp-field
2426+
- coqeal
2427+
- mathcomp-real-closed
2428+
- mathcomp-bigenough
2429+
- mathcomp-zify
2430+
- mathcomp-algebra-tactics
2431+
runs-on: ubuntu-latest
2432+
steps:
2433+
- name: Determine which commit to test
2434+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2435+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2436+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2437+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2438+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2439+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2440+
- name: Git checkout
2441+
uses: actions/checkout@v2
2442+
with:
2443+
fetch-depth: 0
2444+
ref: ${{ env.tested_commit }}
2445+
- name: Cachix install
2446+
uses: cachix/install-nix-action@v20
2447+
with:
2448+
nix_path: nixpkgs=channel:nixpkgs-unstable
2449+
- name: Cachix setup coq-community
2450+
uses: cachix/cachix-action@v12
2451+
with:
2452+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2453+
extraPullNames: coq, math-comp
2454+
name: coq-community
2455+
- id: stepCheck
2456+
name: Checking presence of CI target mathcomp-apery
2457+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2458+
\ bundle \"8.16\" --argstr job \"mathcomp-apery\" \\\n --dry-run 2>&1 >\
2459+
\ /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\
2460+
\ | grep \"built:\" | sed \"s/.*/built/\")\n"
2461+
- if: steps.stepCheck.outputs.status == 'built'
2462+
name: 'Building/fetching previous CI target: coq'
2463+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2464+
job "coq"
2465+
- if: steps.stepCheck.outputs.status == 'built'
2466+
name: 'Building/fetching previous CI target: mathcomp-field'
2467+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2468+
job "mathcomp-field"
2469+
- if: steps.stepCheck.outputs.status == 'built'
2470+
name: 'Building/fetching previous CI target: coqeal'
2471+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2472+
job "coqeal"
2473+
- if: steps.stepCheck.outputs.status == 'built'
2474+
name: 'Building/fetching previous CI target: mathcomp-real-closed'
2475+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2476+
job "mathcomp-real-closed"
2477+
- if: steps.stepCheck.outputs.status == 'built'
2478+
name: 'Building/fetching previous CI target: mathcomp-bigenough'
2479+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2480+
job "mathcomp-bigenough"
2481+
- if: steps.stepCheck.outputs.status == 'built'
2482+
name: 'Building/fetching previous CI target: mathcomp-zify'
2483+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2484+
job "mathcomp-zify"
2485+
- if: steps.stepCheck.outputs.status == 'built'
2486+
name: 'Building/fetching previous CI target: mathcomp-algebra-tactics'
2487+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2488+
job "mathcomp-algebra-tactics"
2489+
- if: steps.stepCheck.outputs.status == 'built'
2490+
name: Building/fetching current CI target
2491+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2492+
job "mathcomp-apery"
24222493
mathcomp-bigenough:
24232494
needs:
24242495
- coq

0 commit comments

Comments
 (0)