Encode infallible alignment errors in types #4936
Triggered via pull request
September 21, 2024 17:16
Status
Failure
Total duration
1m 54s
Artifacts
–
ci.yml
on: pull_request
Generate cache
30s
Run tests under Kani
24s
Check Rust formatting
6s
Check that all toolchains listed in Cargo.toml are tested in CI
27s
Check all-jobs-succeeded depends on all jobs
29s
Run Git hooks
56s
Matrix: build_test
All checks succeeded
0s
Annotations
77 errors