Add setup-just for aya too

utensil · Oct 6, 2024 · cc9d72c · cc9d72c
1 parent fdfeeb8
commit cc9d72c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/aya.yml b/.github/workflows/aya.yml
@@ -18,6 +18,9 @@ jobs:
         os: [ ubuntu-latest, macos-latest, windows-latest]
     steps:
       - uses: actions/checkout@v4
+      - uses: extractions/setup-just@v1
+        with:
+          just-version: 1.35.0
       - name: Setup Aya
         uses: aya-prover/setup-aya@latest
         with: