diff --git a/.github/workflows/rump-deploy.yml b/.github/workflows/rump-deploy.yml index 70501fe..02c153e 100644 --- a/.github/workflows/rump-deploy.yml +++ b/.github/workflows/rump-deploy.yml @@ -86,7 +86,7 @@ jobs: deploy: name: Deploy manifest if: ${{ github.repository_owner == 'seL4' }} - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 needs: [code, hw-run] steps: - name: Deploy