We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
We switched to using MacOS runner in #78, in order to allow to run aarch64 in CI.
aarch64
We're waiting for leanprover/lean-action#83 to be fixed via the PR that switches to elan-init.sh (leanprover/lean-action#84) to go back to using leanprover/lean-action.
elan-init.sh
leanprover/lean-action
The text was updated successfully, but these errors were encountered:
4fec93c
Successfully merging a pull request may close this issue.
We switched to using MacOS runner in #78, in order to allow to run
aarch64
in CI.We're waiting for leanprover/lean-action#83 to be fixed via the PR that switches to
elan-init.sh
(leanprover/lean-action#84) to go back to usingleanprover/lean-action
.The text was updated successfully, but these errors were encountered: