From 1e9f96d2a44c18ad9e6ae9f479642ff28b4121ee Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Sun, 1 Dec 2024 19:54:19 -0600
Subject: [PATCH] update CI and use a docker image that will be up to date each
 night

---
 .github/workflows/blank.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml
index 0aa0596..669f976 100644
--- 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