DibyashanuPati/PhysLean
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat: Restate build.yml

Browse source
This commit is contained in:
jstoobysmith 2024-05-22 14:52:34 -04:00
parent b1a460b0da
commit f78755a6ea
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/build.yml vendored
View file

@ -39,7 +39,7 @@ jobs:
with:
linters: gcc
run: |
bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake build | tee stdout.log"
bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake build -KCI | tee stdout.log"
- name: lint HepLean
if: ${{ always() && steps.build.outcome == 'success' || steps.build.outcome == 'failure' }}