Skip to content

Commit ee0b136

Browse files
CohenCyrilCohenCyril
authored
Merge pull request #127 from coq-community/HoTT
Testing Coq-HoTT
2 parents 242e9fc + 4fafd43 commit ee0b136

File tree

4 files changed

+125
-2
lines changed

4 files changed

+125
-2
lines changed

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

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,47 @@ jobs:
9191
name: Building/fetching current CI target
9292
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
9393
job "CoLoR"
94+
HoTT:
95+
needs:
96+
- coq
97+
runs-on: ubuntu-latest
98+
steps:
99+
- name: Determine which commit to test
100+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
101+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
102+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
103+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
104+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
105+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
106+
- name: Git checkout
107+
uses: actions/checkout@v2
108+
with:
109+
fetch-depth: 0
110+
ref: ${{ env.tested_commit }}
111+
- name: Cachix install
112+
uses: cachix/install-nix-action@v16
113+
with:
114+
nix_path: nixpkgs=channel:nixpkgs-unstable
115+
- name: Cachix setup coq-community
116+
uses: cachix/cachix-action@v10
117+
with:
118+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
119+
extraPullNames: coq, math-comp
120+
name: coq-community
121+
- id: stepCheck
122+
name: Checking presence of CI target HoTT
123+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
124+
\ bundle \"8.14\" --argstr job \"HoTT\" \\\n --dry-run 2>&1 > /dev/null)\n\
125+
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\
126+
\ \"built:\" | sed \"s/.*/built/\")\n"
127+
- if: steps.stepCheck.outputs.status == 'built'
128+
name: 'Building/fetching previous CI target: coq'
129+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
130+
job "coq"
131+
- if: steps.stepCheck.outputs.status == 'built'
132+
name: Building/fetching current CI target
133+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.14" --argstr
134+
job "HoTT"
94135
ITree:
95136
needs:
96137
- coq

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

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,47 @@ jobs:
9191
name: Building/fetching current CI target
9292
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
9393
job "CoLoR"
94+
HoTT:
95+
needs:
96+
- coq
97+
runs-on: ubuntu-latest
98+
steps:
99+
- name: Determine which commit to test
100+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
101+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
102+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
103+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
104+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
105+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
106+
- name: Git checkout
107+
uses: actions/checkout@v2
108+
with:
109+
fetch-depth: 0
110+
ref: ${{ env.tested_commit }}
111+
- name: Cachix install
112+
uses: cachix/install-nix-action@v16
113+
with:
114+
nix_path: nixpkgs=channel:nixpkgs-unstable
115+
- name: Cachix setup coq-community
116+
uses: cachix/cachix-action@v10
117+
with:
118+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
119+
extraPullNames: coq, math-comp
120+
name: coq-community
121+
- id: stepCheck
122+
name: Checking presence of CI target HoTT
123+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
124+
\ bundle \"8.15\" --argstr job \"HoTT\" \\\n --dry-run 2>&1 > /dev/null)\n\
125+
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\
126+
\ \"built:\" | sed \"s/.*/built/\")\n"
127+
- if: steps.stepCheck.outputs.status == 'built'
128+
name: 'Building/fetching previous CI target: coq'
129+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
130+
job "coq"
131+
- if: steps.stepCheck.outputs.status == 'built'
132+
name: Building/fetching current CI target
133+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.15" --argstr
134+
job "HoTT"
94135
ITree:
95136
needs:
96137
- coq

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

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -91,6 +91,47 @@ jobs:
9191
name: Building/fetching current CI target
9292
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
9393
job "CoLoR"
94+
HoTT:
95+
needs:
96+
- coq
97+
runs-on: ubuntu-latest
98+
steps:
99+
- name: Determine which commit to test
100+
run: "if [ ${{ github.event_name }} = \"push\" ]; then\n echo \"tested_commit=${{\
101+
\ github.sha }}\" >> $GITHUB_ENV\nelse\n merge_commit=$(git ls-remote ${{\
102+
\ github.event.repository.html_url }} refs/pull/${{ github.event.number }}/merge\
103+
\ | cut -f1)\n if [ -z \"$merge_commit\" ]; then\n echo \"tested_commit=${{\
104+
\ github.event.pull_request.head.sha }}\" >> $GITHUB_ENV\n else\n echo\
105+
\ \"tested_commit=$merge_commit\" >> $GITHUB_ENV\n fi\nfi\n"
106+
- name: Git checkout
107+
uses: actions/checkout@v2
108+
with:
109+
fetch-depth: 0
110+
ref: ${{ env.tested_commit }}
111+
- name: Cachix install
112+
uses: cachix/install-nix-action@v16
113+
with:
114+
nix_path: nixpkgs=channel:nixpkgs-unstable
115+
- name: Cachix setup coq-community
116+
uses: cachix/cachix-action@v10
117+
with:
118+
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
119+
extraPullNames: coq, math-comp
120+
name: coq-community
121+
- id: stepCheck
122+
name: Checking presence of CI target HoTT
123+
run: "nb_dry_run=$(NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link \\\n --argstr\
124+
\ bundle \"8.16\" --argstr job \"HoTT\" \\\n --dry-run 2>&1 > /dev/null)\n\
125+
echo $nb_dry_run\necho ::set-output name=status::$(echo $nb_dry_run | grep\
126+
\ \"built:\" | sed \"s/.*/built/\")\n"
127+
- if: steps.stepCheck.outputs.status == 'built'
128+
name: 'Building/fetching previous CI target: coq'
129+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
130+
job "coq"
131+
- if: steps.stepCheck.outputs.status == 'built'
132+
name: Building/fetching current CI target
133+
run: NIXPKGS_ALLOW_UNFREE=1 nix-build --no-out-link --argstr bundle "8.16" --argstr
134+
job "HoTT"
94135
ITree:
95136
needs:
96137
- 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/e31777a12c0d9ae08fbe4d15a3ed2c2df451e18e.tar.gz;
3-
sha256 = "0nazblazp9rl59ki6c4p64yj3y40k9dzmj20psgdghmqpznzj60r";
2+
url = https://github.com/NixOS/nixpkgs/archive/7e5e6625e2c9c35942e0f0a97fee18cd53991187.tar.gz;
3+
sha256 = "1sq77iprkyl0b6l1vylvvbk7mnvka9kgp229zz3vb53gn3967n1w";
44
}

0 commit comments

Comments
 (0)