Skip to content

Commit a197919

Browse files
CohenCyrilCohenCyril
authored
Merge pull request #137 from proux01/mathcomp_1_16_0
Test NixOS/nixpkgs#220000
2 parents f32b027 + 955c951 commit a197919

File tree

9 files changed

+1372
-987
lines changed

9 files changed

+1372
-987
lines changed

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

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -559,7 +559,6 @@ jobs:
559559
compcert:
560560
needs:
561561
- coq
562-
- coq
563562
- flocq
564563
runs-on: ubuntu-latest
565564
steps:
@@ -595,10 +594,6 @@ jobs:
595594
name: 'Building/fetching previous CI target: coq'
596595
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.10" --argstr
597596
job "coq"
598-
- if: steps.stepCheck.outputs.status == 'built'
599-
name: 'Building/fetching previous CI target: coq'
600-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.10" --argstr
601-
job "coq"
602597
- if: steps.stepCheck.outputs.status == 'built'
603598
name: 'Building/fetching previous CI target: flocq'
604599
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.10" --argstr

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

Lines changed: 0 additions & 127 deletions
Original file line numberDiff line numberDiff line change
@@ -661,7 +661,6 @@ jobs:
661661
compcert:
662662
needs:
663663
- coq
664-
- coq
665664
- flocq
666665
runs-on: ubuntu-latest
667666
steps:
@@ -697,10 +696,6 @@ jobs:
697696
name: 'Building/fetching previous CI target: coq'
698697
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
699698
job "coq"
700-
- if: steps.stepCheck.outputs.status == 'built'
701-
name: 'Building/fetching previous CI target: coq'
702-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
703-
job "coq"
704699
- if: steps.stepCheck.outputs.status == 'built'
705700
name: 'Building/fetching previous CI target: flocq'
706701
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
@@ -2098,67 +2093,6 @@ jobs:
20982093
name: Building/fetching current CI target
20992094
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
21002095
job "mathcomp-algebra"
2101-
mathcomp-analysis:
2102-
needs:
2103-
- coq
2104-
- mathcomp-classical
2105-
- mathcomp-field
2106-
- mathcomp-bigenough
2107-
- hierarchy-builder
2108-
runs-on: ubuntu-latest
2109-
steps:
2110-
- name: Determine which commit to test
2111-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2112-
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2113-
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2114-
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2115-
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2116-
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2117-
- name: Git checkout
2118-
uses: actions/checkout@v2
2119-
with:
2120-
fetch-depth: 0
2121-
ref: ${{ env.tested_commit }}
2122-
- name: Cachix install
2123-
uses: cachix/install-nix-action@v20
2124-
with:
2125-
nix_path: nixpkgs=channel:nixpkgs-unstable
2126-
- name: Cachix setup coq-community
2127-
uses: cachix/cachix-action@v12
2128-
with:
2129-
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2130-
extraPullNames: coq, math-comp
2131-
name: coq-community
2132-
- id: stepCheck
2133-
name: Checking presence of CI target mathcomp-analysis
2134-
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2135-
\ bundle \"8.11\" --argstr job \"mathcomp-analysis\" \\\n --dry-run 2>&1\
2136-
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\
2137-
\ | grep \"built:\" | sed \"s/.*/built/\")\n"
2138-
- if: steps.stepCheck.outputs.status == 'built'
2139-
name: 'Building/fetching previous CI target: coq'
2140-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2141-
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"
2146-
- if: steps.stepCheck.outputs.status == 'built'
2147-
name: 'Building/fetching previous CI target: mathcomp-field'
2148-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2149-
job "mathcomp-field"
2150-
- if: steps.stepCheck.outputs.status == 'built'
2151-
name: 'Building/fetching previous CI target: mathcomp-bigenough'
2152-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2153-
job "mathcomp-bigenough"
2154-
- if: steps.stepCheck.outputs.status == 'built'
2155-
name: 'Building/fetching previous CI target: hierarchy-builder'
2156-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2157-
job "hierarchy-builder"
2158-
- if: steps.stepCheck.outputs.status == 'built'
2159-
name: Building/fetching current CI target
2160-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2161-
job "mathcomp-analysis"
21622096
mathcomp-bigenough:
21632097
needs:
21642098
- coq
@@ -2271,67 +2205,6 @@ jobs:
22712205
name: Building/fetching current CI target
22722206
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
22732207
job "mathcomp-character"
2274-
mathcomp-classical:
2275-
needs:
2276-
- coq
2277-
- mathcomp-algebra
2278-
- mathcomp-finmap
2279-
- hierarchy-builder
2280-
- hierarchy-builder
2281-
runs-on: ubuntu-latest
2282-
steps:
2283-
- name: Determine which commit to test
2284-
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
2285-
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
2286-
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
2287-
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
2288-
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
2289-
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
2290-
- name: Git checkout
2291-
uses: actions/checkout@v2
2292-
with:
2293-
fetch-depth: 0
2294-
ref: ${{ env.tested_commit }}
2295-
- name: Cachix install
2296-
uses: cachix/install-nix-action@v20
2297-
with:
2298-
nix_path: nixpkgs=channel:nixpkgs-unstable
2299-
- name: Cachix setup coq-community
2300-
uses: cachix/cachix-action@v12
2301-
with:
2302-
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
2303-
extraPullNames: coq, math-comp
2304-
name: coq-community
2305-
- id: stepCheck
2306-
name: Checking presence of CI target mathcomp-classical
2307-
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
2308-
\ bundle \"8.11\" --argstr job \"mathcomp-classical\" \\\n --dry-run 2>&1\
2309-
\ > /dev/null)\necho $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run\
2310-
\ | grep \"built:\" | sed \"s/.*/built/\")\n"
2311-
- if: steps.stepCheck.outputs.status == 'built'
2312-
name: 'Building/fetching previous CI target: coq'
2313-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2314-
job "coq"
2315-
- if: steps.stepCheck.outputs.status == 'built'
2316-
name: 'Building/fetching previous CI target: mathcomp-algebra'
2317-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2318-
job "mathcomp-algebra"
2319-
- if: steps.stepCheck.outputs.status == 'built'
2320-
name: 'Building/fetching previous CI target: mathcomp-finmap'
2321-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2322-
job "mathcomp-finmap"
2323-
- if: steps.stepCheck.outputs.status == 'built'
2324-
name: 'Building/fetching previous CI target: hierarchy-builder'
2325-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2326-
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"
2331-
- if: steps.stepCheck.outputs.status == 'built'
2332-
name: Building/fetching current CI target
2333-
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.11" --argstr
2334-
job "mathcomp-classical"
23352208
mathcomp-field:
23362209
needs:
23372210
- coq

0 commit comments

Comments
 (0)