adding missing --yes to deps install in the CI action

rems-project · Jul 1, 2023 · b78784c · b78784c
1 parent c8e30e8
commit b78784c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -32,7 +32,7 @@ jobs:
  if: steps.cache-opam-restore.outputs.cache-hit != 'true'
  run: |
  opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
- opam install --deps-only ./cerberus-lib.opam
+ opam install --deps-only --yes ./cerberus-lib.opam
  
  - name: Save cached opam
  if: steps.cache-opam-restore.outputs.cache-hit != 'true'