CHERI

Add missing bits for supporting `default` in executable specs. #217

Sign in to view logs

Triggered via pull request January 6, 2025 19:32

yav

synchronize #814

issue#813-support-default-in-executable-specs

Status Success

Total duration 2m 48s

Artifacts –

ci-cheri.yml

on: pull_request

Matrix: build