Fixup

coq-community · Feb 16, 2024 · 4c008f2 · 4c008f2
1 parent 29e9de3
commit 4c008f2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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