diff --git a/.github/workflows/sel4bench.yml b/.github/workflows/sel4bench.yml index 22c4fcb6..26e2cb90 100644 --- a/.github/workflows/sel4bench.yml +++ b/.github/workflows/sel4bench.yml @@ -109,7 +109,7 @@ jobs: deploy: name: Deploy if: ${{ github.repository_owner == 'seL4' }} - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 needs: [code, hw-run] steps: - name: Deploy manifest