CI

Hardwire CHERI to enable #31

Sign in to view logs

Triggered via pull request May 23, 2024 09:15

marnovandermaas

opened #90

marnovandermaas:remove_cheri_switch

Status Success

Total duration 1m 45s

Artifacts –

ci.yml

on: pull_request