Add netlify environment variables to benchmark deployment action (#1044)

This _should_ enable deployments of the benchmarking website
UniMath · Feb 27, 2024 · b5ec17a · b5ec17a
1 parent 18bc065
commit b5ec17a
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/profiling.yaml b/.github/workflows/profiling.yaml
@@ -74,5 +74,8 @@ jobs:
           echo 'window.BENCHMARK_DATA =' | cat - ../benchmark-cache/data.json > benchmark-website/data.js
 
       - name: Deploy the new profiling website
+        env:
+          NETLIFY_SITE_ID: ${{ secrets.PERF_SITE_ID }}
+          NETLIFY_AUTH_TOKEN: ${{ secrets.PERF_SITE_KEY }}
         run: |
-          npx netlify-cli deploy --dir=benchmark-website
+          npx netlify-cli deploy --prod --dir=benchmark-website