Merge pull request #110 from mattpolzin/ci-update

alexhumphreys · Dec 5, 2024 · 86d84e4 · 86d84e4
2 parents c169165 + 1e9f96d
commit 86d84e4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml
@@ -14,14 +14,14 @@ env:
 jobs:
   build:
     runs-on: ubuntu-latest
-    container: snazzybucket/idris2:latest
+    container: mattpolzin2/idris-docker:nightly
     steps:
       - name: idrall build and test
         run: |
           apt update && apt install git -y
         shell: bash
       - name: Checkout
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
         with:
           submodules: 'recursive'
       - name: idrall build and test