sel4/manual: generate list of versions · seL4/docs@87415c5

Triggered via push July 6, 2026 03:05

lsf37

master

Status Success

Total duration 3m 10s

Artifacts 1

build.yml

on: push

1 warning

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/setup-python@v5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Produced during runtime

Name	Size	Digest
site	31.7 MB	`sha256:f13ea9e4d614dac2d742dfac5f306900b25e6ae73e3ccc3d78eadd1cd1b17dba`