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

Update build.yml

Browse source
This commit is contained in:
jstoobysmith 2024-06-26 09:01:54 -04:00
parent e389134122
commit 23e8e092cc
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -28,7 +28,10 @@ jobs:
- name: build cache - name: build cache
run: | run: |
lake exe cache get lake exe cache get
- name: check file imports
run: |
bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake exe check_file_imports"
- name: build HepLean - name: build HepLean
id: build id: build
uses: liskin/gh-problem-matcher-wrap@v3 uses: liskin/gh-problem-matcher-wrap@v3
@ -37,10 +40,7 @@ jobs:
run: | run: |
bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake build -KCI | tee stdout.log" bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake build -KCI | tee stdout.log"
- name: check file imports
run: |
bash -o pipefail -c "env LEAN_ABORT_ON_PANIC=1 lake exe check_file_imports"
- name: lint HepLean - name: lint HepLean
if: ${{ always() && steps.build.outcome == 'success' || steps.build.outcome == 'failure' }} if: ${{ always() && steps.build.outcome == 'success' || steps.build.outcome == 'failure' }}
id: lint id: lint