diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 77d77c3..dc43cf0 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -36,8 +36,8 @@ jobs: opam install --confirm-level=unsafe-yes -j 2 $PACKAGE --deps-only endGroup export: 'OPAMWITHTEST' - env: - OPAMWITHTEST: 'true' + env: + OPAMWITHTEST: 'true' # See also: # https://github.com/coq-community/docker-coq-action#readme