Skip to content

Commit

Permalink
try twice?
Browse files Browse the repository at this point in the history
  • Loading branch information
@kustosz
kustosz committed Jul 26, 2024
1 parent fac6902 commit ddcadfa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/prover-test.yml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -74,4 +74,4 @@ jobs:
run: |
cd light-prover/formal-verification
~/.elan/bin/lake exe cache get
~/.elan/bin/lake build
~/.elan/bin/lake build || ~/.elan/bin/lake build

0 comments on commit ddcadfa

Please sign in to comment.