search

agda / agda

Agda is a dependently typed programming language / interactive theorem prover.
https://wiki.portal.chalmers.se/agda/pmwiki.php
Other
2.39k stars 337 forks source link

CI cosmetics: keep --dependencies-only step even when cache hit #7233

Closed andreasabel closed 1 month ago

andreasabel commented 1 month ago

The cache might originate from a failed build, so it may be incomplete.