Skip to content

Re-add modes in kernel UI metadata for now #325

Re-add modes in kernel UI metadata for now

Re-add modes in kernel UI metadata for now #325

Annotations

2 errors and 2 warnings

coq

failed Mar 7, 2024 in 4s
Set up job
1s
Run actions/checkout@v3
0s
Build tests
0s
Run tests
0s
Upload test artifacts
0s
Post Run actions/checkout@v3
0s
Complete job
0s