Skip to content

Actions: kasimte/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
37 workflow runs
37 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add Kani contracts and harnesses for NonZero (Challenge 12) Kani #37: Commit dffdb6c pushed by kasimte
2h 7m 30s challenge-12-nonzero
challenge-12-nonzero
2h 7m 30s
Add Kani contracts and harnesses for NonZero (Challenge 12) Kani #36: Commit a0476c3 pushed by kasimte
1h 25m 42s challenge-12-nonzero
challenge-12-nonzero
1h 25m 42s
Add Kani contracts and harnesses for NonZero (Challenge 12) Kani #35: Commit 60d4b9e pushed by kasimte
1h 18m 49s challenge-12-nonzero
challenge-12-nonzero
1h 18m 49s
Apply rustfmt formatting to NonZero verification harnesses Kani #34: Commit 9700880 pushed by kasimte
1h 22m 21s 12-cistress
12-cistress
1h 22m 21s
Verify StepBy::original_step via proof_for_contract Kani #33: Commit f2144f8 pushed by kasimte
1h 53m 8s 16-cistress
16-cistress
1h 53m 8s
Refine iterator adapter verification harnesses Kani #32: Commit a531ecc pushed by kasimte
1h 24m 9s 16-cistress
16-cistress
1h 24m 9s
Add NonZero verification harnesses Kani #31: Commit c9d8b23 pushed by kasimte
1h 31m 4s 12-cistress
12-cistress
1h 31m 4s
Add NonZero verification harnesses Kani #30: Commit 995d038 pushed by kasimte
1h 24m 42s 12-cistress
12-cistress
1h 24m 42s
Address Copilot review feedback on PR #549 Kani #29: Commit e80e689 pushed by kasimte
2h 51m 22s challenge-16
challenge-16
2h 51m 22s
Test CI: Challenge 16 updates Kani #28: Pull request #2 synchronize by kasimte
2h 35m 26s 16-draft
16-draft
2h 35m 26s
Address Copilot review feedback on PR #549 Kani #27: Commit e80e689 pushed by kasimte
2h 35m 12s 16-draft
16-draft
2h 35m 12s
Test CI: Challenge 16 updates Kani #26: Pull request #2 synchronize by kasimte
2h 50m 3s 16-draft
16-draft
2h 50m 3s
Address Copilot review feedback on PR #549 Kani #25: Commit c391c7f pushed by kasimte
2h 2m 55s 16-draft
16-draft
2h 2m 55s
Add Kani verification harnesses for iterator adapter functions Kani #24: Commit 6cca1ff pushed by kasimte
1h 36m 40s challenge-16
challenge-16
1h 36m 40s
Add Kani verification harnesses for iterator adapter functions Kani #23: Commit cee43ec pushed by kasimte
1h 33m 7s challenge-16
challenge-16
1h 33m 7s
Test CI: Challenge 16 updates Kani #22: Pull request #2 synchronize by kasimte
3h 28m 17s 16-draft
16-draft
3h 28m 17s
Add Kani verification harnesses for iterator adapter functions Kani #21: Commit 078f424 pushed by kasimte
2h 20m 42s 16-draft
16-draft
2h 20m 42s
Test CI: Challenge 16 updates Kani #20: Pull request #2 synchronize by kasimte
3h 47m 18s 16-draft
16-draft
3h 47m 18s
Add Kani verification harnesses for iterator adapter functions Kani #19: Commit 1edc482 pushed by kasimte
2h 24m 38s 16-draft
16-draft
2h 24m 38s
Test CI: Challenge 16 updates Kani #18: Pull request #2 synchronize by kasimte
3h 26m 38s 16-draft
16-draft
3h 26m 38s
Add Kani verification harnesses for iterator adapter functions Kani #17: Commit 8d38f0e pushed by kasimte
1h 17m 2s 16-draft
16-draft
1h 17m 2s
Test CI: Challenge 16 updates Kani #16: Pull request #2 synchronize by kasimte
2h 42m 5s 16-draft
16-draft
2h 42m 5s
Add Kani verification harnesses for iterator adapter functions Kani #15: Commit c7d6c40 pushed by kasimte
1h 19m 36s 16-draft
16-draft
1h 19m 36s
Test CI: Challenge 16 updates Kani #14: Pull request #2 synchronize by kasimte
4h 22m 1s 16-draft
16-draft
4h 22m 1s
Add Kani verification harnesses for iterator adapter functions Kani #13: Commit ef83849 pushed by kasimte
2h 50m 15s 16-draft
16-draft
2h 50m 15s