From 2b96ef962da4da85181d7a7475eaca98d4d7b8a3 Mon Sep 17 00:00:00 2001 From: Indan Zupancic Date: Thu, 21 Mar 2024 10:52:06 +0000 Subject: [PATCH] github: Fix index.html path Signed-off-by: Indan Zupancic --- .github/workflows/sel4bench.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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