Fix syntax

tautschnig · Aug 23, 2023 · 0dd643d · 0dd643d
1 parent 1e8599c
commit 0dd643d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
@@ -192,7 +192,7 @@ jobs:
     container:
       image: ubuntu:18.04
       volumes:
-        /usr/local:/mnt/host-local
+        - /usr/local:/mnt/host-local
     steps:
       # This is required before checkout because the container does not
       # have Git installed, so cannot run checkout action. The checkout