secc
/
seL4-docs
mirror of https://github.com/seL4/docs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

github: bump runner OS version 

20.04 is no longer supported. Python and ruby version remain pinned.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-04-25 12:50:05 +10:00
parent f107c6afef
commit 4e47a0cb97
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/build.yml vendored
View File

@ -18,7 +18,7 @@ on:
jobs:
build:
name: Site
runs-on: ubuntu-20.04
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
with:
@ -45,7 +45,7 @@ jobs:
github.event_name == 'workflow_dispatch') }}
needs: build
name: 'Deploy'
runs-on: ubuntu-20.04
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
with: