search

leanprover / LNSym

Armv8 Native Code Symbolic Simulator in Lean
Apache License 2.0
51 stars 13 forks source link

Cache save failed in CI #155

Closed shigoel closed 2 days ago

shigoel commented 2 days ago

CI can sometimes fail, though locally the build succeeds, likely due to a bad cache save. See the following logs for details.

In the first run, I'd switched ELFSage's Git URL to my fork. https://github.com/leanprover/LNSym/actions/runs/10816223174

The second run is when I merged main into the branch. https://github.com/leanprover/LNSym/actions/runs/10887193356/job/30208908292

For now, we have set use-github-cache: false under leanprover/lean-action@v1, which solves the issue.

Note that this scenario would need to be recreated -- the PR has been merged (though the branch is not yet deleted). https://github.com/leanprover/LNSym/pull/151

shigoel commented 2 days ago

Note that in both of the fails above, the cache save failure in on a MacOS runner.