search

leanprover / reservoir

Package registry for Lean/Lake.
https://reservoir.lean-lang.org
Apache License 2.0
16 stars 1 forks source link

chore: improve GH workflow resilience to errors #28

Closed tydeu closed 5 months ago

tydeu commented 5 months ago

With this, a single build job failure will not kill the whole testbed and rerunning a failed deploy will not require rebuilding the site.