diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml
index 5709de92..da4e95c7 100644
--- 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 home.pml content/About/Performance/
+        mv index.html content/About/Performance/
         git config user.name "seL4 CI"
         git config user.email "ci@sel4.systems"
-        git add content/About/Performance/home.pml
+        git add content/About/Performance/index.html
         git commit -s -m "CI: update performance results"
-        # git push origin master
+        git push origin master