max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: CI: check update-stage0

Browse source
This commit is contained in:
Sebastian Ullrich 2020-05-19 17:59:15 +02:00 • committed by Leonardo de Moura
parent 9da4f09c67
commit 3c8400d30f
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.github/workflows/ci.yml vendored
View file

@ -96,6 +96,9 @@ jobs:
- name: Test Speedcenter Benchmarks
run: PATH=$(realpath build/stage0.5/bin):$PATH nix-shell --run 'cd tests/bench; temci exec --config speedcenter.yaml --runs 1'
if: matrix.test-speedcenter
- name: Check rebootstrap
run: nix-shell --run "cd build; make update-stage0 && make -j4"
if: matrix.name == 'Linux'
- name: CCache stats
run: nix-shell --run "ccache -s"
if: matrix.os != 'windows-latest'