summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorSon Ho2023-11-10 17:00:18 +0100
committerSon Ho2023-11-10 17:00:18 +0100
commita3a1a5e603905fb2bcdf7f05a14282366998b1c4 (patch)
treea31fd0f0d69524fb391d469a23dc82129621113e /.github
parent06ca6b4aeee7235acee4d11d67e91e3fe3d3a236 (diff)
Update the ci.yml
Diffstat (limited to '')
-rw-r--r--.github/workflows/ci.yml8
1 files changed, 5 insertions, 3 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3fb2270a..a958910b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,11 +18,13 @@ jobs:
#- run: nix build -L .#checks.x86_64-linux.aeneas-verify-lean
- run: nix build -L .#checks.x86_64-linux.aeneas-verify-hol4
lean: # Lean isn't supported by Nix, so we need to add extra steps
- runs-on: [self-hosted, linux]
+ runs-on: [ubuntu-latest]
steps:
+ # Install curl
+ - run: sudo apt update && sudo apt install curl
# Install Elan (https://leanprover-community.github.io/install/linux.html)
- run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | sh
#- run: sudo apt-get update && sudo apt-get install make
# Verify
- #- run: cd tests/lean && make
- - run: cd tests/lean && lake build
+ - run: cd tests/lean && make
+ #- run: cd tests/lean && lake build