Consistently setup just after checkout [annotate]

utensil · Oct 22, 2024 · 76bd9f7 · 76bd9f7
1 parent 28f17e0
commit 76bd9f7
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 11 deletions.
diff --git a/.github/workflows/aya.yml b/.github/workflows/aya.yml
@@ -19,6 +19,9 @@ jobs:
       fail-fast: false
     steps:
       - uses: actions/checkout@v4
+      - uses: extractions/setup-just@v1
+        with:
+          just-version: 1.35.0
       - name: Should annotate
         id: annotate
         # annotation is enabled conditionally
@@ -34,9 +37,6 @@ jobs:
             key: github-pages-${{ github.run_id }}
             restore-keys: |
               github-pages
-      - uses: extractions/setup-just@v1
-        with:
-          just-version: 1.35.0
       - name: Setup Aya
         uses: aya-prover/setup-aya@latest
         with:

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -1,3 +1,4 @@
+# yaml-language-server: $schema=https://json.schemastore.org/github-workflow.json
 # based on https://github.com/actions/starter-workflows/blob/main/pages/static.yml
 # and https://stackoverflow.com/questions/62750603/github-actions-trigger-another-action-after-one-action-is-completed/65698892#65698892
 name: Deploy Gitub Pages
@@ -64,4 +65,5 @@ jobs:
             path: github-pages
         - name: Deploy to GitHub Pages
           id: deployment
-          uses: actions/deploy-pages@v4
+          uses: actions/deploy-pages@v4
+
diff --git a/.github/workflows/lean4.yml b/.github/workflows/lean4.yml
@@ -23,6 +23,13 @@ jobs:
         os: [ubuntu-latest, macos-latest, windows-latest]
       fail-fast: false
     steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - uses: extractions/setup-just@v1
+        with:
+          just-version: 1.35.0
       - name: install elan on Ubuntu and macOS
         if: matrix.os != 'windows-latest'
         run: |
@@ -35,10 +42,6 @@ jobs:
           curl -O --location https://github.com/raw/leanprover/elan/master/elan-init.ps1
           .\elan-init.ps1 -NoPrompt 1 -DefaultToolchain none
           echo "$HOME\.elan\bin" >> $env:GITHUB_PATH
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          submodules: recursive
       - name: Should annotate
         id: annotate
         # annotation is enabled conditionally

diff --git a/.github/workflows/tla.yml b/.github/workflows/tla.yml
@@ -19,6 +19,9 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+      - uses: extractions/setup-just@v1
+        with:
+          just-version: 1.35.0
       - name: Should annotate
         id: annotate
         # annotation is enabled conditionally
@@ -34,9 +37,6 @@ jobs:
             key: github-pages-${{ github.run_id }}
             restore-keys: |
               github-pages
-      - uses: extractions/setup-just@v1
-        with:
-          just-version: 1.35.0
       - uses: actions/setup-java@v4
         with:
           distribution: 'temurin'