Skip to content
CHERI

Add missing bits for supporting default in executable specs. #234

Sign in to view logs

Add missing bits for supporting default in executable specs.

Add missing bits for supporting default in executable specs. #234

Triggered via pull request January 10, 2025 22:02
@yavyav
synchronize #814
issue#813-support-default-in-executable-specs
Status Success
Total duration 2m 41s
Artifacts –

ci-cheri.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in