CHERI

CN: Make Typing depend on WellTyped #205

Sign in to view logs

Triggered via pull request December 30, 2024 00:25

dc-mak

synchronize #800

dc-mak:cn-typing-depends-welltyped

Status Success

Total duration 2m 37s

Artifacts –

ci-cheri.yml

on: pull_request

Matrix: build