Skip to content

Actions: model-checking/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
903 workflow runs
903 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run format check in our CI and fix repo format (#205) Kani #1240: Commit 2b2baa8 pushed by github-merge-queue bot
January 4, 2025 01:18 39m 52s main
main
January 4, 2025 01:18 39m 52s
Run format check in our CI and fix repo format (#205) Kani #1239: Commit 2b2baa8 pushed by github-merge-queue bot
January 4, 2025 00:33 41m 23s gh-readonly-queue/main/pr-205-1a38674ad6753e3a78e0181d1fe613f3b25ebacd
gh-readonly-queue/main/pr-205-1a38674ad6753e3a78e0181d1fe613f3b25ebacd
January 4, 2025 00:33 41m 23s
Kani Kani #1238: Merge group checks requested
January 4, 2025 00:33 44m 10s
January 4, 2025 00:33 44m 10s
Add harnesses for safety of primitive conversions Kani #1237: Pull request #233 synchronize by ShoyuVanilla
January 3, 2025 23:54 45m 30s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 3, 2025 23:54 45m 30s
Run format check in our CI and fix repo format Kani #1236: Pull request #205 synchronize by celinval
January 3, 2025 23:54 39m 29s celinval:chores-tidy
celinval:chores-tidy
January 3, 2025 23:54 39m 29s
Add harnesses for safety of primitive conversions Kani #1235: Pull request #233 synchronize by ShoyuVanilla
January 3, 2025 23:53 47m 14s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 3, 2025 23:53 47m 14s
Add harnesses for safety of primitive conversions Kani #1234: Pull request #233 synchronize by ShoyuVanilla
January 3, 2025 23:41 4m 15s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 3, 2025 23:41 4m 15s
Run format check in our CI and fix repo format Kani #1233: Pull request #205 synchronize by celinval
January 3, 2025 23:29 43m 34s celinval:chores-tidy
celinval:chores-tidy
January 3, 2025 23:29 43m 34s
Add harnesses for safety of primitive conversions Kani #1232: Pull request #233 synchronize by ShoyuVanilla
January 3, 2025 23:21 4m 30s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 3, 2025 23:21 4m 30s
Run format check in our CI and fix repo format Kani #1231: Pull request #205 synchronize by celinval
January 3, 2025 23:16 39m 55s celinval:chores-tidy
celinval:chores-tidy
January 3, 2025 23:16 39m 55s
Run format check in our CI and fix repo format Kani #1230: Pull request #205 synchronize by celinval
January 3, 2025 23:14 3m 7s celinval:chores-tidy
celinval:chores-tidy
January 3, 2025 23:14 3m 7s
Run format check in our CI and fix repo format Kani #1229: Pull request #205 synchronize by celinval
January 3, 2025 22:57 20m 2s celinval:chores-tidy
celinval:chores-tidy
January 3, 2025 22:57 20m 2s
Add harnesses for safety of primitive conversions Kani #1228: Pull request #233 synchronize by ShoyuVanilla
January 3, 2025 22:54 5m 8s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 3, 2025 22:54 5m 8s
Add harnesses for safety of primitive conversions Kani #1227: Pull request #233 synchronize by ShoyuVanilla
January 3, 2025 22:48 4m 47s shoyuvanilla-verify-rust-std:challenge-14
shoyuvanilla-verify-rust-std:challenge-14
January 3, 2025 22:48 4m 47s
Run format check in our CI and fix repo format Kani #1226: Pull request #205 synchronize by celinval
January 3, 2025 21:18 42m 53s celinval:chores-tidy
celinval:chores-tidy
January 3, 2025 21:18 42m 53s
Add contracts for SmallSort Kani #1225: Pull request #234 synchronize by ShoyuVanilla
December 30, 2024 16:44 6h 0m 33s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 30, 2024 16:44 6h 0m 33s
Add contracts for SmallSort Kani #1224: Pull request #234 synchronize by ShoyuVanilla
December 30, 2024 16:28 6h 0m 29s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 30, 2024 16:28 6h 0m 29s
Add contracts for SmallSort Kani #1223: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 20:54 6h 0m 30s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 20:54 6h 0m 30s
Add contracts for SmallSort Kani #1222: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 20:07 49m 2s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 20:07 49m 2s
Add contracts for SmallSort Kani #1221: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 19:54 6h 0m 31s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 19:54 6h 0m 31s
Add contracts for SmallSort Kani #1220: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 19:35 5m 11s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 19:35 5m 11s
Add contracts for SmallSort Kani #1219: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 19:33 4m 30s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 19:33 4m 30s
Add contracts for SmallSort Kani #1218: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 19:31 4m 59s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 19:31 4m 59s
Add contracts for SmallSort Kani #1217: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 19:27 4m 21s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 19:27 4m 21s
Add contracts for SmallSort Kani #1216: Pull request #234 synchronize by ShoyuVanilla
December 29, 2024 17:25 6h 0m 28s shoyuvanilla-verify-rust-std:challenge-8
shoyuvanilla-verify-rust-std:challenge-8
December 29, 2024 17:25 6h 0m 28s