Add two new CI workflows to check Kani against verify-rust-std (#3386)
#7510
| Job | Run time |
|---|---|
| 38m 41s | |
| 27m 35s | |
| 33m 51s | |
| 15m 56s | |
| 22m 17s | |
| 5m 24s | |
| 2m 21s | |
| 37m 43s | |
| 3h 3m 48s |
verify-rust-std (#3386)
#7510
| Job | Run time |
|---|---|
| 38m 41s | |
| 27m 35s | |
| 33m 51s | |
| 15m 56s | |
| 22m 17s | |
| 5m 24s | |
| 2m 21s | |
| 37m 43s | |
| 3h 3m 48s |