Add two new CI workflows to check Kani against verify-rust-std
#7503
Job | Run time |
---|---|
4m 49s | |
2m 6s | |
35m 23s | |
32m 9s | |
23m 33s | |
15m 4s | |
22m 56s | |
18m 12s | |
2h 34m 12s |
verify-rust-std
#7503
Job | Run time |
---|---|
4m 49s | |
2m 6s | |
35m 23s | |
32m 9s | |
23m 33s | |
15m 4s | |
22m 56s | |
18m 12s | |
2h 34m 12s |