Fix benchmark deployment directory (#1045)

UniMath · Feb 27, 2024 · b5985b5 · b5985b5
1 parent d5f63de
commit b5985b5
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/profiling.yaml b/.github/workflows/profiling.yaml
@@ -67,11 +67,10 @@ jobs:
 
       - name: Prepare new revision of the profiling website
         run: |
-          cd repo
           mkdir -p benchmark-website
-          cp website/benchmarks/index.html benchmark-website/
-          cp ../benchmark-cache/data.* benchmark-website/
-          echo 'window.BENCHMARK_DATA =' | cat - ../benchmark-cache/data.json > benchmark-website/data.js
+          cp repo/website/benchmarks/index.html benchmark-website/
+          cp benchmark-cache/data.* benchmark-website/
+          echo 'window.BENCHMARK_DATA =' | cat - benchmark-cache/data.json > benchmark-website/data.js
 
       - name: Deploy the new profiling website
         env: