CI - fix gawk installation

logsem · Aug 22, 2024 · 9608b80 · 9608b80
1 parent af0df29
commit 9608b80
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -30,7 +30,7 @@ jobs:
           ocaml_version: ${{ matrix.ocaml_version }}
           before_script: |
             sudo chown -R coq:coq . # workaround a permission issue
-            sudo apt install gawk
+            sudo apt install gawk -y
           script: |
             startGroup Build
               make ci -j2