github: temporarily disable result deployment

Disable automatic deployment of performance results until web site is fully switched over to GH pages. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Mar 19, 2024 · 7704a1f · 7704a1f
1 parent 8af9c9b
commit 7704a1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml
@@ -157,4 +157,4 @@ jobs:
         git config user.email "[email protected]"
         git add content/About/Performance/home.pml
         git commit -s -m "CI: update performance results"
-        git push origin master
+        # git push origin master