diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml index da4e95c7..b01a30d7 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 index.html content/About/Performance/ + mv index.html About/Performance/ git config user.name "seL4 CI" git config user.email "ci@sel4.systems" - 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