github: Fix index.html path

Signed-off-by: Indan Zupancic <[email protected]>
Hensoldt-Cyber · Mar 21, 2024 · 2b96ef9 · 2b96ef9
1 parent ce631dc
commit 2b96ef9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml
@@ -152,9 +152,9 @@ jobs:
         manifest_sha: ${{ steps.deploy.outputs.manifest_sha }}
     - name: Deploy web page
       run: |
-        mv index.html content/About/Performance/
+        mv index.html About/Performance/
         git config user.name "seL4 CI"
         git config user.email "[email protected]"
-        git add content/About/Performance/index.html
+        git add About/Performance/index.html
         git commit -s -m "CI: update performance results"
         git push origin master