Skip to content

cheribsd: Don't make default kernel -NOCAPREVOKE when enabled #1543

cheribsd: Don't make default kernel -NOCAPREVOKE when enabled

cheribsd: Don't make default kernel -NOCAPREVOKE when enabled #1543

Triggered via push December 4, 2023 23:11
Status Failure
Total duration 4m 57s
Artifacts

python-app.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
typecheck
Process completed with exit code 1.