diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index fc2a8515..1157feef 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -22,7 +22,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-9 with: manifest_repo: camkes-vm-examples-manifest manifest: master.xml @@ -35,9 +35,9 @@ jobs: strategy: fail-fast: false matrix: - march: [nehalem, armv7a, armv8a] + march: [armv8a] steps: - - uses: seL4/ci-actions/camkes-vm@master + - uses: axel-h/ci-actions/camkes-vm@patch-axel-9 with: xml: ${{ needs.code.outputs.xml }} march: ${{ matrix.march }} @@ -62,7 +62,7 @@ jobs: strategy: fail-fast: false matrix: - march: [nehalem, armv7a, armv8a] + march: [armv8a] steps: - name: Get machine queue uses: actions/checkout@v3 @@ -75,7 +75,7 @@ jobs: with: name: images-${{ matrix.march }} - name: Run - uses: seL4/ci-actions/camkes-vm-hw@master + uses: axel-h/ci-actions/camkes-vm-hw@patch-axel-9 with: march: ${{ matrix.march }} index: $${{ strategy.job-index }}