From 0031b3fc474bdd290054710635b057df4e21f323 Mon Sep 17 00:00:00 2001
From: Louis Gesbert <louis.gesbert@ocamlpro.com>
Date: Fri, 5 Jul 2024 15:48:45 +0200
Subject: [PATCH] CI: fixing the last try

---
 .github/workflows/harness.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/harness.yml b/.github/workflows/harness.yml
index 9e03a641..d3e8d3c1 100644
--- a/.github/workflows/harness.yml
+++ b/.github/workflows/harness.yml
@@ -87,6 +87,11 @@ jobs:
       image: ${{ needs.build.outputs.image }}
       options: --user root
     steps:
+      - name: Fix home
+        # We need to run as root as a Workaround Github actions issues
+        # (https://github.com/actions/checkout/issues/1014) but need ~ocaml as
+        # home.
+        run: sudo sh -c "echo HOME=/home/ocaml >> ${GITHUB_ENV}"
       - name: Check promoted files
         run: |
           cd /home/ocaml/catala && opam exec -- make check-promoted