Skip to content
CHERI

CN: Tidy resource types #117

Sign in to view logs

CN: Tidy resource types

CN: Tidy resource types #117

Triggered via pull request December 10, 2024 19:05
@dc-makdc-mak
synchronize #750
dc-mak:tidy-resourceTypes
Status Success
Total duration 3m 10s
Artifacts –

ci-cheri.yml

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