From 57ffe2c9b46e196310f0abd6c001751fe2f2a6b9 Mon Sep 17 00:00:00 2001 From: Son Ho Date: Fri, 10 Nov 2023 17:25:47 +0100 Subject: Update the ci.yml --- .github/workflows/ci.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 32f2dab0..82b7e724 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -27,9 +27,8 @@ jobs: # Install Elan (https://leanprover-community.github.io/install/linux.html) and Lean in # non-interactive mode: - run: curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf | bash -s -- -y - - run: source ~/.profile # Checkout the repo and download it to the runner - name: Checkout uses: actions/checkout@v4 # Verify - - run: cd tests/lean && make + - run: source ~/.profile && cd tests/lean && make -- cgit v1.2.3