Skip to content

Commit 242e9fc

Browse files
CohenCyrilCohenCyril
authored
Merge pull request #126 from coq-community/testing-algebra-tactics
Testing algebra-tactics
2 parents cd64bd6 + b47fdcd commit 242e9fc

File tree

5 files changed

+277
-2
lines changed

5 files changed

+277
-2
lines changed

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

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2312,6 +2312,62 @@ jobs:
23122312
name: Building/fetching current CI target
23132313
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
23142314
job "mathcomp-algebra"
2315+
mathcomp-algebra-tactics:
2316+
needs:
2317+
- coq
2318+
- mathcomp-algebra
2319+
- coq-elpi
2320+
- mathcomp-zify
2321+
runs-on: ubuntu-latest
2322+
steps:
2323+
- name: Determine which commit to test
2324+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2325+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2326+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2327+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2328+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2329+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2330+
- name: Git checkout
2331+
uses: actions/checkout@v2
2332+
with:
2333+
fetch-depth: 0
2334+
ref: ${{ env.tested_commit }}
2335+
- name: Cachix install
2336+
uses: cachix/install-nix-action@v16
2337+
with:
2338+
nix_path: nixpkgs=channel:nixpkgs-unstable
2339+
- name: Cachix setup coq-community
2340+
uses: cachix/cachix-action@v10
2341+
with:
2342+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2343+
extraPullNames: coq, math-comp
2344+
name: coq-community
2345+
- id: stepCheck
2346+
name: Checking presence of CI target mathcomp-algebra-tactics
2347+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2348+
\ bundle \"8.13\" --argstr job \"mathcomp-algebra-tactics\" \\\n --dry-run\
2349+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
2350+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
2351+
- if: steps.stepCheck.outputs.status == 'built'
2352+
name: 'Building/fetching previous CI target: coq'
2353+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2354+
job "coq"
2355+
- if: steps.stepCheck.outputs.status == 'built'
2356+
name: 'Building/fetching previous CI target: mathcomp-algebra'
2357+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2358+
job "mathcomp-algebra"
2359+
- if: steps.stepCheck.outputs.status == 'built'
2360+
name: 'Building/fetching previous CI target: coq-elpi'
2361+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2362+
job "coq-elpi"
2363+
- if: steps.stepCheck.outputs.status == 'built'
2364+
name: 'Building/fetching previous CI target: mathcomp-zify'
2365+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2366+
job "mathcomp-zify"
2367+
- if: steps.stepCheck.outputs.status == 'built'
2368+
name: Building/fetching current CI target
2369+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.13" --argstr
2370+
job "mathcomp-algebra-tactics"
23152371
mathcomp-analysis:
23162372
needs:
23172373
- coq

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

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2353,6 +2353,62 @@ jobs:
23532353
name: Building/fetching current CI target
23542354
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
23552355
job "mathcomp-algebra"
2356+
mathcomp-algebra-tactics:
2357+
needs:
2358+
- coq
2359+
- mathcomp-algebra
2360+
- coq-elpi
2361+
- mathcomp-zify
2362+
runs-on: ubuntu-latest
2363+
steps:
2364+
- name: Determine which commit to test
2365+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2366+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2367+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2368+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2369+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2370+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2371+
- name: Git checkout
2372+
uses: actions/checkout@v2
2373+
with:
2374+
fetch-depth: 0
2375+
ref: ${{ env.tested_commit }}
2376+
- name: Cachix install
2377+
uses: cachix/install-nix-action@v16
2378+
with:
2379+
nix_path: nixpkgs=channel:nixpkgs-unstable
2380+
- name: Cachix setup coq-community
2381+
uses: cachix/cachix-action@v10
2382+
with:
2383+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2384+
extraPullNames: coq, math-comp
2385+
name: coq-community
2386+
- id: stepCheck
2387+
name: Checking presence of CI target mathcomp-algebra-tactics
2388+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2389+
\ bundle \"8.14\" --argstr job \"mathcomp-algebra-tactics\" \\\n --dry-run\
2390+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
2391+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
2392+
- if: steps.stepCheck.outputs.status == 'built'
2393+
name: 'Building/fetching previous CI target: coq'
2394+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2395+
job "coq"
2396+
- if: steps.stepCheck.outputs.status == 'built'
2397+
name: 'Building/fetching previous CI target: mathcomp-algebra'
2398+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2399+
job "mathcomp-algebra"
2400+
- if: steps.stepCheck.outputs.status == 'built'
2401+
name: 'Building/fetching previous CI target: coq-elpi'
2402+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2403+
job "coq-elpi"
2404+
- if: steps.stepCheck.outputs.status == 'built'
2405+
name: 'Building/fetching previous CI target: mathcomp-zify'
2406+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2407+
job "mathcomp-zify"
2408+
- if: steps.stepCheck.outputs.status == 'built'
2409+
name: Building/fetching current CI target
2410+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
2411+
job "mathcomp-algebra-tactics"
23562412
mathcomp-analysis:
23572413
needs:
23582414
- coq

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

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2353,6 +2353,62 @@ jobs:
23532353
name: Building/fetching current CI target
23542354
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
23552355
job "mathcomp-algebra"
2356+
mathcomp-algebra-tactics:
2357+
needs:
2358+
- coq
2359+
- mathcomp-algebra
2360+
- coq-elpi
2361+
- mathcomp-zify
2362+
runs-on: ubuntu-latest
2363+
steps:
2364+
- name: Determine which commit to test
2365+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2366+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2367+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2368+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2369+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2370+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2371+
- name: Git checkout
2372+
uses: actions/checkout@v2
2373+
with:
2374+
fetch-depth: 0
2375+
ref: ${{ env.tested_commit }}
2376+
- name: Cachix install
2377+
uses: cachix/install-nix-action@v16
2378+
with:
2379+
nix_path: nixpkgs=channel:nixpkgs-unstable
2380+
- name: Cachix setup coq-community
2381+
uses: cachix/cachix-action@v10
2382+
with:
2383+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2384+
extraPullNames: coq, math-comp
2385+
name: coq-community
2386+
- id: stepCheck
2387+
name: Checking presence of CI target mathcomp-algebra-tactics
2388+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2389+
\ bundle \"8.15\" --argstr job \"mathcomp-algebra-tactics\" \\\n --dry-run\
2390+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
2391+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
2392+
- if: steps.stepCheck.outputs.status == 'built'
2393+
name: 'Building/fetching previous CI target: coq'
2394+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2395+
job "coq"
2396+
- if: steps.stepCheck.outputs.status == 'built'
2397+
name: 'Building/fetching previous CI target: mathcomp-algebra'
2398+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2399+
job "mathcomp-algebra"
2400+
- if: steps.stepCheck.outputs.status == 'built'
2401+
name: 'Building/fetching previous CI target: coq-elpi'
2402+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2403+
job "coq-elpi"
2404+
- if: steps.stepCheck.outputs.status == 'built'
2405+
name: 'Building/fetching previous CI target: mathcomp-zify'
2406+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2407+
job "mathcomp-zify"
2408+
- if: steps.stepCheck.outputs.status == 'built'
2409+
name: Building/fetching current CI target
2410+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
2411+
job "mathcomp-algebra-tactics"
23562412
mathcomp-analysis:
23572413
needs:
23582414
- coq

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

Lines changed: 107 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2271,6 +2271,62 @@ jobs:
22712271
name: Building/fetching current CI target
22722272
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
22732273
job "mathcomp-algebra"
2274+
mathcomp-algebra-tactics:
2275+
needs:
2276+
- coq
2277+
- mathcomp-algebra
2278+
- coq-elpi
2279+
- mathcomp-zify
2280+
runs-on: ubuntu-latest
2281+
steps:
2282+
- name: Determine which commit to test
2283+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2284+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2285+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2286+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2287+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2288+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2289+
- name: Git checkout
2290+
uses: actions/checkout@v2
2291+
with:
2292+
fetch-depth: 0
2293+
ref: ${{ env.tested_commit }}
2294+
- name: Cachix install
2295+
uses: cachix/install-nix-action@v16
2296+
with:
2297+
nix_path: nixpkgs=channel:nixpkgs-unstable
2298+
- name: Cachix setup coq-community
2299+
uses: cachix/cachix-action@v10
2300+
with:
2301+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2302+
extraPullNames: coq, math-comp
2303+
name: coq-community
2304+
- id: stepCheck
2305+
name: Checking presence of CI target mathcomp-algebra-tactics
2306+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2307+
\ bundle \"8.16\" --argstr job \"mathcomp-algebra-tactics\" \\\n --dry-run\
2308+
\ 2>&1 > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo\
2309+
\ $nb_dry_run | grep \"built:\" | sed \"s/.*/built/\")\n"
2310+
- if: steps.stepCheck.outputs.status == 'built'
2311+
name: 'Building/fetching previous CI target: coq'
2312+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2313+
job "coq"
2314+
- if: steps.stepCheck.outputs.status == 'built'
2315+
name: 'Building/fetching previous CI target: mathcomp-algebra'
2316+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2317+
job "mathcomp-algebra"
2318+
- if: steps.stepCheck.outputs.status == 'built'
2319+
name: 'Building/fetching previous CI target: coq-elpi'
2320+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2321+
job "coq-elpi"
2322+
- if: steps.stepCheck.outputs.status == 'built'
2323+
name: 'Building/fetching previous CI target: mathcomp-zify'
2324+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2325+
job "mathcomp-zify"
2326+
- if: steps.stepCheck.outputs.status == 'built'
2327+
name: Building/fetching current CI target
2328+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
2329+
job "mathcomp-algebra-tactics"
22742330
mathcomp-analysis:
22752331
needs:
22762332
- coq
@@ -3672,6 +3728,57 @@ jobs:
36723728
name: Building/fetching current CI target
36733729
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
36743730
job "reglang"
3731+
relation-algebra:
3732+
needs:
3733+
- coq
3734+
- aac-tactics
3735+
- mathcomp-ssreflect
3736+
runs-on: ubuntu-latest
3737+
steps:
3738+
- name: Determine which commit to test
3739+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
3740+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
3741+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
3742+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
3743+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
3744+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
3745+
- name: Git checkout
3746+
uses: actions/checkout@v2
3747+
with:
3748+
fetch-depth: 0
3749+
ref: ${{ env.tested_commit }}
3750+
- name: Cachix install
3751+
uses: cachix/install-nix-action@v16
3752+
with:
3753+
nix_path: nixpkgs=channel:nixpkgs-unstable
3754+
- name: Cachix setup coq-community
3755+
uses: cachix/cachix-action@v10
3756+
with:
3757+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
3758+
extraPullNames: coq, math-comp
3759+
name: coq-community
3760+
- id: stepCheck
3761+
name: Checking presence of CI target relation-algebra
3762+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
3763+
\ bundle \"8.16\" --argstr job \"relation-algebra\" \\\n --dry-run 2>&1\
3764+
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\
3765+
\ | grep \"built:\" | sed \"s/.*/built/\")\n"
3766+
- if: steps.stepCheck.outputs.status == 'built'
3767+
name: 'Building/fetching previous CI target: coq'
3768+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
3769+
job "coq"
3770+
- if: steps.stepCheck.outputs.status == 'built'
3771+
name: 'Building/fetching previous CI target: aac-tactics'
3772+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
3773+
job "aac-tactics"
3774+
- if: steps.stepCheck.outputs.status == 'built'
3775+
name: 'Building/fetching previous CI target: mathcomp-ssreflect'
3776+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
3777+
job "mathcomp-ssreflect"
3778+
- if: steps.stepCheck.outputs.status == 'built'
3779+
name: Building/fetching current CI target
3780+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
3781+
job "relation-algebra"
36753782
semantics:
36763783
needs:
36773784
- coq

‎.nix/nixpkgs.nix‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
11
fetchTarball {
2-
url = https://github.com/NixOS/nixpkgs/archive/93dc85b485638bda9ac76458dcd45b997cc7cdbd.tar.gz;
3-
sha256 = "0gp57r4jjgrkl7n2s1j88y730y8aqv7paw1fzjzmypwzcf4vv03w";
2+
url = https://github.com/NixOS/nixpkgs/archive/e31777a12c0d9ae08fbe4d15a3ed2c2df451e18e.tar.gz;
3+
sha256 = "0nazblazp9rl59ki6c4p64yj3y40k9dzmj20psgdghmqpznzj60r";
44
}

0 commit comments

Comments
 (0)