Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

github: pin Ubuntu 22.04 for deployment step

Browse Source 
Python 3.12 in Ubuntu 24.04 has incompatible packages.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2024-12-19 17:29:35 +11:00
parent 84163bd855
commit 1732c05ef6
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/preprocess-deploy.yml vendored
View File

@@ -41,7 +41,7 @@ jobs:
name: Deploy manifest name: Deploy manifest
needs: [code, preprocess] needs: [code, preprocess]
if: ${{ github.repository_owner == 'seL4' }} if: ${{ github.repository_owner == 'seL4' }}
runs-on: ubuntu-latest runs-on: ubuntu-22.04
steps: steps:
- uses: seL4/ci-actions/l4v-deploy@master - uses: seL4/ci-actions/l4v-deploy@master
with: with:

2
.github/workflows/sel4test-deploy.yml vendored
View File

@@ -112,7 +112,7 @@ jobs:
deploy: deploy:
name: Deploy manifest name: Deploy manifest
if: ${{ github.repository_owner == 'seL4' }} if: ${{ github.repository_owner == 'seL4' }}
runs-on: ubuntu-latest runs-on: ubuntu-22.04
needs: [code, hw-run] needs: [code, hw-run]
steps: steps:
- name: Deploy - name: Deploy