search

leanprover / LNSym

Armv8 Native Code Symbolic Simulator in Lean
Apache License 2.0
62 stars 18 forks source link

Switch back to using leanprover/lean-action once MacOS runner is fixed #82

Closed bollu closed 2 months ago

bollu commented 2 months ago

We switched to using MacOS runner in https://github.com/leanprover/LNSym/pull/78, in order to allow to run aarch64 in CI.

We're waiting for https://github.com/leanprover/lean-action/issues/83 to be fixed via the PR that switches to elan-init.sh (https://github.com/leanprover/lean-action/pull/84) to go back to using leanprover/lean-action.