Skip to content

github: Add a draft GitHub actions CI job#303

Merged
arichardson merged 9 commits into
CTSRD-CHERI:devfrom
arichardson:github-action
Nov 15, 2025
Merged

github: Add a draft GitHub actions CI job#303
arichardson merged 9 commits into
CTSRD-CHERI:devfrom
arichardson:github-action

github actions: enable support for large XML files

1cc39a5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.