test actions

logsem · Aug 27, 2024 · 00fe147 · 00fe147
1 parent 2a49b7f
commit 00fe147
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -12,7 +12,7 @@ jobs:
   build:
     runs-on: ubuntu-latest
     container:
-      image: ghcr.io/logsem/iris-tutorial/docker-x86-64
+      image: ghcr.io/logsem/iris-tutorial/docker-x86-64:latest
       options: --user root
 
     steps: