From 4c008f2ac9832ddf8bedc96126f79108630aa71c Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Date: Fri, 16 Feb 2024 14:54:53 +0100
Subject: [PATCH] Fixup

---
 .github/workflows/docker-action.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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