Skip to content
Back to pull request #515

[derive] Test with trivial_bounds feature #1387

Sign in to view logs

[derive] Test with trivial_bounds feature

[derive] Test with trivial_bounds feature #1387

Triggered via pull request October 22, 2023 20:35
@joshlfjoshlf
synchronize #515
trivial-bounds
Status Success
Total duration 5m 35s
Artifacts –

ci.yml

on: pull_request
Generate cache
1m 3s
Generate cache
Run tests under Kani
1m 29s
Run tests under Kani
Check Rust formatting
9s
Check Rust formatting
Matrix: build_test
Check README.md
10s
Check README.md
Check MSRVs match
8s
Check MSRVs match
Check crate versions match
15s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in