github: re-enable performance results deployment

Generate index.html instead of home.pml.

Signed-off-by: Gerwin Klein <[email protected]>

.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 "[email protected]"
-        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