Update ci.yml

cedar-policy · Nov 1, 2023 · 79bee5a · 79bee5a
1 parent 30a1bd7
commit 79bee5a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -115,12 +115,12 @@ jobs:
         uses: actions/checkout@v3
         with:
           submodules: recursive
+      - name: Setup upterm session
+        uses: lhotari/action-upterm@v1
       - name: Install lean
         shell: bash
         run: |
           wget -q https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_debian.sh && bash install_debian.sh ; rm -f install_debian.sh && source ~/.profile
-      - name: Setup upterm session
-        uses: lhotari/action-upterm@v1
       - name: Build
         shell: bash
         run: lake build Cedar