fix release (#1702)

model-checking · Sep 21, 2022 · a426181 · a426181
1 parent 4438987
commit a426181
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -17,7 +17,7 @@ inputs:
 
 runs:
   using: 'docker'
-  image: docker://ghcr.io/model-checking/kani-ubuntu-20.04:0.10.0
+  image: docker://ghcr.io/model-checking/kani-ubuntu-20.04:0.11.0
   args:
     - bash
     - '-c'