Skip to content
Python application

Re-land "Default to purecap kernels for CheriBSD" #1630

Sign in to view logs

Re-land "Default to purecap kernels for CheriBSD"

Re-land "Default to purecap kernels for CheriBSD" #1630

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-latest
2m 26s
typecheck
2m 5s
build-baseline
19s
build-macos
1m 27s
6m 17s