Merge branch 'master' into analytics

UniMath · Feb 27, 2024 · 971f3f5 · 971f3f5
2 parents cfddb16 + b5ec17a
commit 971f3f5
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