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

chore: CI: really?

Browse source
This commit is contained in:
Sebastian Ullrich 2022-05-17 15:53:33 +02:00
parent a2bf2a4abd
commit 14225b81ce
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -36,7 +36,7 @@ jobs:
build:
needs: set-nightly
if: github.event_name != 'schedule' || github.repository == 'leanprover/lean4'
if: always() && (github.event_name != 'schedule' || github.repository == 'leanprover/lean4')
runs-on: ${{ matrix.os }}
defaults:
run: