diff --git a/.github/workflows/sel4bench-pr.yml b/.github/workflows/sel4bench-pr.yml index a8ad7934..bd59f28f 100644 --- a/.github/workflows/sel4bench-pr.yml +++ b/.github/workflows/sel4bench-pr.yml @@ -30,7 +30,7 @@ jobs: xml: ${{ steps.repo.outputs.xml }} steps: - id: repo - uses: seL4/ci-actions/repo-checkout@master + uses: axel-h/ci-actions/repo-checkout@patch-axel-16 with: manifest_repo: sel4bench-manifest manifest: master.xml @@ -46,7 +46,7 @@ jobs: march: [armv7a, armv8a, nehalem, rv64imac] steps: - name: Build - uses: seL4/ci-actions/sel4bench@master + uses: axel-h/ci-actions/sel4bench@patch-axel-16 with: xml: ${{ needs.code.outputs.xml }} march: ${{ matrix.march }} @@ -94,7 +94,7 @@ jobs: path: machine_queue - name: Get march id: plat - uses: seL4/ci-actions/march-of-platform@master + uses: axel-h/ci-actions/march-of-platform@patch-axel-16 with: platform: ${{ matrix.platform }} - name: Download image @@ -102,7 +102,7 @@ jobs: with: name: images-${{ steps.plat.outputs.march }} - name: Run - uses: seL4/ci-actions/sel4bench-hw@master + uses: axel-h/ci-actions/sel4bench-hw@patch-axel-16 with: platform: ${{ matrix.platform }} req: ${{ matrix.req }} diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml index 22c4fcb6..cc52bfc0 100644 --- a/.github/workflows/sel4bench.yml +++ b/.github/workflows/sel4bench.yml @@ -27,7 +27,7 @@ jobs: xml: ${{ steps.repo.outputs.xml }} steps: - id: repo - uses: seL4/ci-actions/repo-checkout@master + uses: axel-h/ci-actions/repo-checkout@patch-axel-16 with: manifest_repo: sel4bench-manifest manifest: master.xml @@ -42,7 +42,7 @@ jobs: march: [armv7a, armv8a, nehalem, rv64imac] steps: - name: Build - uses: seL4/ci-actions/sel4bench@master + uses: axel-h/ci-actions/sel4bench@patch-axel-16 with: xml: ${{ needs.code.outputs.xml }} march: ${{ matrix.march }} @@ -84,7 +84,7 @@ jobs: path: machine_queue - name: Get march id: plat - uses: seL4/ci-actions/march-of-platform@master + uses: axel-h/ci-actions/march-of-platform@patch-axel-16 with: platform: ${{ matrix.platform }} - name: Download image @@ -92,7 +92,7 @@ jobs: with: name: images-${{ steps.plat.outputs.march }} - name: Run - uses: seL4/ci-actions/sel4bench-hw@master + uses: axel-h/ci-actions/sel4bench-hw@patch-axel-16 with: platform: ${{ matrix.platform }} req: ${{ matrix.req }} @@ -114,7 +114,7 @@ jobs: steps: - name: Deploy manifest id: deploy - uses: seL4/ci-actions/manifest-deploy@master + uses: axel-h/ci-actions/manifest-deploy@patch-axel-16 with: xml: ${{ needs.code.outputs.xml }} manifest_repo: sel4bench-manifest @@ -146,7 +146,7 @@ jobs: with: name: sel4bench-results-hifive - name: Generate web page - uses: seL4/ci-actions/sel4bench-web@master + uses: axel-h/ci-actions/sel4bench-web@patch-axel-16 with: manifest_sha: ${{ steps.deploy.outputs.manifest_sha }} - name: Deploy web page