Skip to content

Actions: tautschnig/verify-rust-std

Actions

VeriFast (negative)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifast-negative.yml
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use log parser in workflow VeriFast (negative) #43: Commit f14ef45 pushed by tautschnig
33s metrics-tooling2
metrics-tooling2
33s
Merge remote-tracking branch 'origin/main' into autoharness-support VeriFast (negative) #42: Commit 01ae84e pushed by tautschnig
32s autoharness-support
autoharness-support
32s
Update library/core/src/num/nonzero.rs VeriFast (negative) #41: Commit 1c5b394 pushed by tautschnig
24m 24s unchecked_mull_add
unchecked_mull_add
24m 24s
Update library/core/src/num/nonzero.rs VeriFast (negative) #40: Commit 36030a8 pushed by tautschnig
24m 20s unchecked_mull_add
unchecked_mull_add
24m 20s
Update library/core/src/num/nonzero.rs VeriFast (negative) #39: Commit 5f13ef4 pushed by tautschnig
4m 10s unchecked_mull_add
unchecked_mull_add
4m 10s
Update library/core/src/num/nonzero.rs VeriFast (negative) #38: Commit d21fdf2 pushed by tautschnig
21s unchecked_mull_add
unchecked_mull_add
21s
Update library/core/src/num/nonzero.rs VeriFast (negative) #37: Commit 233c41c pushed by tautschnig
23s unchecked_mull_add
unchecked_mull_add
23s
Merge remote-tracking branch 'origin/main' into autoharness-analyzer VeriFast (negative) #36: Commit 15c701e pushed by tautschnig
21m 24s autoharness-analyzer
autoharness-analyzer
21m 24s
Add autoharness-analyzer CI job VeriFast (negative) #35: Commit eff5200 pushed by tautschnig
1m 1s main
main
1m 1s
Revert "Use autoharness for num::<impl *>::wrapping_sh{l,r}" VeriFast (negative) #34: Commit 7162c25 pushed by tautschnig
27s autoharness-support
autoharness-support
27s
Use autoharness for num::nonzero::NonZero::<*>::rotate_{left,right} VeriFast (negative) #33: Commit f079d4c pushed by tautschnig
29s autoharness-support
autoharness-support
29s
Address comments, update to more recent Kani version VeriFast (negative) #32: Commit 4bc3a53 pushed by tautschnig
22s metrics-tooling2
metrics-tooling2
22s
Remove stray space VeriFast (negative) #31: Commit 8bd1151 pushed by tautschnig
50s unchecked_mull_add
unchecked_mull_add
50s
rustfmt 2 VeriFast (negative) #30: Commit 3b69e21 pushed by tautschnig
43s unchecked_mull_add
unchecked_mull_add
43s
Merge remote-tracking branch 'origin/main' into unchecked_mull_add VeriFast (negative) #29: Commit 0c0318f pushed by tautschnig
26s unchecked_mull_add
unchecked_mull_add
26s
Lookup, once more VeriFast (negative) #28: Commit 0a7a3c6 pushed by tautschnig
8m 11s unchecked_mull_add
unchecked_mull_add
8m 11s
Use .0 instead of .as_usize VeriFast (negative) #27: Commit 267fa99 pushed by tautschnig
23s autoharness-support
autoharness-support
23s
Use .0 instead of .as_usize VeriFast (negative) #26: Commit 31bed92 pushed by tautschnig
31s autoharness-support
autoharness-support
31s
Contracts lookup, again VeriFast (negative) #25: Commit 014a44e pushed by tautschnig
22s unchecked_mull_add
unchecked_mull_add
22s
Proof target names VeriFast (negative) #24: Commit d8e3977 pushed by tautschnig
24s unchecked_mull_add
unchecked_mull_add
24s
Disable what does not currently compile VeriFast (negative) #23: Commit 06fad10 pushed by tautschnig
25s unchecked_mull_add
unchecked_mull_add
25s
Fix syntax error, naming VeriFast (negative) #22: Commit 6dab042 pushed by tautschnig
28s unchecked_mull_add
unchecked_mull_add
28s
Add contract to from_mut_unchecked VeriFast (negative) #21: Commit 7603984 pushed by tautschnig
22s unchecked_mull_add
unchecked_mull_add
22s
Squash duplicate space in markdown file VeriFast (negative) #20: Commit 673fec8 pushed by tautschnig
22s autoharness-support
autoharness-support
22s
Merge branch 'main' into autoharness-support VeriFast (negative) #19: Commit 3c48d5a pushed by tautschnig
22s autoharness-support
autoharness-support
22s