Globally set GITHUB_ACTIONS=true

cknitt · cknitt · commit db29b58cd656 · 2023-12-12T15:56:00.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -17,6 +17,7 @@ concurrency:
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 env:
+  GITHUB_ACTIONS: true
   OCAMLRUNPARAM: b
 
 jobs:
