ensure all github actions set for ci

TheAngryByrd · Jan 29, 2024 · 8a070a2 · 8a070a2
1 parent 7bfea7d
commit 8a070a2
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/fsdocs-gh-pages.yml b/.github/workflows/fsdocs-gh-pages.yml
@@ -24,6 +24,7 @@ jobs:
   # Build job
   build:
     runs-on: ubuntu-latest
+
     steps:
       - name: Checkout
         uses: actions/checkout@v3
@@ -40,6 +41,9 @@ jobs:
       - name: Build Docs
         run: |
           ./build.sh builddocs
+        env:
+          CONFIGURATION: Release
+          CI: true
 
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v1

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -49,6 +49,7 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           FAKE_DETAILED_ERRORS: true
           CI: true
+          CONFIGURATION: Release
         run: |
           chmod +x ./build.sh
           ./build.sh Publish
diff --git a/build/build.fs b/build/build.fs
@@ -150,7 +150,7 @@ let failOnBadExitAndPrint (p: ProcessResult) =
         failwithf "failed with exitcode %d" p.ExitCode
 
 
-let isCI = lazy environVarAsBoolOrDefault "CI" false
+let isCI = lazy (environVarAsBoolOrDefault "CI" false)
 
 // CI Servers can have bizarre failures that have nothing to do with your code
 let rec retryIfInCI times fn =