portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

github: bump GH action versions

Browse source 
Node 20 is deprecated. Bump GitHub action dependencies to versions that
run on more recent node.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2026-05-28 12:07:26 +10:00
parent e912dff734
commit 9d84967424
5 changed files with 8 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/compilation-checks.yml vendored
View file

@ -31,7 +31,7 @@ jobs:
arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64] arch: [ARM, ARM_HYP, AARCH64, RISCV64, X64]
compiler: [gcc, llvm] compiler: [gcc, llvm]
steps: steps:
- uses: actions/checkout@v4 - uses: actions/checkout@v6
- uses: seL4/ci-actions/standalone-kernel@master - uses: seL4/ci-actions/standalone-kernel@master
with: with:
ARCH: ${{ matrix.arch }} ARCH: ${{ matrix.arch }}

2
.github/workflows/manual.yml vendored
View file

@ -18,7 +18,7 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: seL4/ci-actions/seL4-manual@master - uses: seL4/ci-actions/seL4-manual@master
- uses: actions/upload-artifact@v4 - uses: actions/upload-artifact@v7
with: with:
name: PDF name: PDF
path: checkout/manual/manual.pdf path: checkout/manual/manual.pdf

4
.github/workflows/proof.yml vendored
View file

@ -52,13 +52,13 @@ jobs:
AWS_SSH: ${{ secrets.AWS_SSH }} AWS_SSH: ${{ secrets.AWS_SSH }}
GH_HEAD_SHA: ${{ github.event.pull_request.head.sha }} GH_HEAD_SHA: ${{ github.event.pull_request.head.sha }}
- name: Upload kernel builds - name: Upload kernel builds
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v7
with: with:
name: kernel-builds-${{ matrix.arch }}-${{ matrix.features }} name: kernel-builds-${{ matrix.arch }}-${{ matrix.features }}
path: artifacts/kernel-builds path: artifacts/kernel-builds
if-no-files-found: ignore if-no-files-found: ignore
- name: Upload logs - name: Upload logs
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v7
with: with:
name: logs-${{ matrix.arch }}-${{ matrix.features }} name: logs-${{ matrix.arch }}-${{ matrix.features }}
path: logs.tar.xz path: logs.tar.xz

6
.github/workflows/sel4test-deploy.yml vendored
View file

@ -64,7 +64,7 @@ jobs:
march: ${{ matrix.march }} march: ${{ matrix.march }}
compiler: ${{ matrix.compiler }} compiler: ${{ matrix.compiler }}
- name: Upload images - name: Upload images
uses: actions/upload-artifact@v4 uses: actions/upload-artifact@v7
with: with:
name: images-${{ matrix.march }}-${{ matrix.compiler }} name: images-${{ matrix.march }}-${{ matrix.compiler }}
path: '*-images.tar.gz' path: '*-images.tar.gz'
@ -91,12 +91,12 @@ jobs:
concurrency: hw-run-${{ strategy.job-index }} concurrency: hw-run-${{ strategy.job-index }}
steps: steps:
- name: Get machine queue - name: Get machine queue
uses: actions/checkout@v4 uses: actions/checkout@v6
with: with:
repository: seL4/machine_queue repository: seL4/machine_queue
path: machine_queue path: machine_queue
- name: Download image - name: Download image
uses: actions/download-artifact@v4 uses: actions/download-artifact@v8
with: with:
name: images-${{ matrix.march }}-${{ matrix.compiler }} name: images-${{ matrix.march }}-${{ matrix.compiler }}
- name: Run - name: Run

2
.github/workflows/xml_lint.yml vendored
View file

@ -32,7 +32,7 @@ jobs:
run: sudo apt-get update run: sudo apt-get update
- name: install xmllint - name: install xmllint
run: sudo apt-get install libxml2-utils run: sudo apt-get install libxml2-utils
- uses: actions/checkout@v4 - uses: actions/checkout@v6
- name: run xmllint - name: run xmllint
run: | run: |
find libsel4 -name "object-api*.xml" | \ find libsel4 -name "object-api*.xml" | \