Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19,432 workflow runs
19,432 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Analyze unsafe code reachability Check Std Verification #547: Pull request #3546 synchronize by celinval
September 24, 2024 14:55 12m 10s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
September 24, 2024 14:55 12m 10s
Analyze unsafe code reachability Release Bundle #2642: Pull request #3546 synchronize by celinval
September 24, 2024 14:55 24m 52s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
September 24, 2024 14:55 24m 52s
Analyze unsafe code reachability Kani Extra #2220: Pull request #3546 synchronize by celinval
September 24, 2024 14:55 1h 6m 8s
September 24, 2024 14:55 1h 6m 8s
Update toolchain to 2024-09-23 (#3544) Release Bundle #2641: Commit 9dc09e7 pushed by github-merge-queue bot
September 24, 2024 14:54 24m 54s main
main
September 24, 2024 14:54 24m 54s
Update toolchain to 2024-09-23 (#3544) Kani Format Check #8207: Commit 9dc09e7 pushed by github-merge-queue bot
September 24, 2024 14:54 4m 19s main
main
September 24, 2024 14:54 4m 19s
Update toolchain to 2024-09-23 (#3544) Cargo Deny #402: Commit 9dc09e7 pushed by github-merge-queue bot
September 24, 2024 14:54 1m 13s main
main
September 24, 2024 14:54 1m 13s
Update toolchain to 2024-09-23 (#3544) Kani Performance Benchmarks #616: Commit 9dc09e7 pushed by github-merge-queue bot
September 24, 2024 14:54 1h 12m 28s main
main
September 24, 2024 14:54 1h 12m 28s
Update toolchain to 2024-09-23 (#3544) Kani CI #8375: Commit 9dc09e7 pushed by github-merge-queue bot
September 24, 2024 14:54 45m 3s main
main
September 24, 2024 14:54 45m 3s
Analyze unsafe code reachability Kani Format Check #8206: Pull request #3546 synchronize by celinval
September 24, 2024 14:54 6m 43s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
September 24, 2024 14:54 6m 43s
Analyze unsafe code reachability Kani CI #8374: Pull request #3546 synchronize by celinval
September 24, 2024 14:54 35m 17s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
September 24, 2024 14:54 35m 17s
Analyze unsafe code reachability Release Bundle #2640: Pull request #3546 synchronize by celinval
September 24, 2024 14:54 25m 31s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
September 24, 2024 14:54 25m 31s
Analyze unsafe code reachability Cargo Deny #401: Pull request #3546 synchronize by celinval
September 24, 2024 14:54 1m 19s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
September 24, 2024 14:54 1m 19s
Analyze unsafe code reachability Check Std Verification #546: Pull request #3546 synchronize by celinval
September 24, 2024 14:54 11m 56s celinval:issue-xxxx-transitive-scan
celinval:issue-xxxx-transitive-scan
September 24, 2024 14:54 11m 56s
Analyze unsafe code reachability Kani Extra #2219: Pull request #3546 synchronize by celinval
September 24, 2024 14:54 1h 9m 37s
September 24, 2024 14:54 1h 9m 37s
Analyze unsafe code reachability Kani Extra #2218: Pull request #3546 synchronize by celinval
September 24, 2024 14:50 1h 3m 58s
September 24, 2024 14:50 1h 3m 58s
Analyze unsafe code reachability Kani Extra #2217: Pull request #3546 synchronize by celinval
September 24, 2024 14:48 1h 14m 30s
September 24, 2024 14:48 1h 14m 30s
Analyze unsafe code reachability Kani Extra #2216: Pull request #3546 opened by celinval
September 24, 2024 14:48 35m 28s
September 24, 2024 14:48 35m 28s
Revert #3539 and reuse rust backend infrastructure instead Check Std Verification #545: Pull request #3545 opened by celinval
September 24, 2024 14:31 13m 28s celinval:toolchain-2024-09-20
celinval:toolchain-2024-09-20
September 24, 2024 14:31 13m 28s
Revert #3539 and reuse rust backend infrastructure instead Release Bundle #2639: Pull request #3545 opened by celinval
September 24, 2024 14:31 26m 43s celinval:toolchain-2024-09-20
celinval:toolchain-2024-09-20
September 24, 2024 14:31 26m 43s
Revert #3539 and reuse rust backend infrastructure instead Cargo Deny #400: Pull request #3545 opened by celinval
September 24, 2024 14:31 1m 9s celinval:toolchain-2024-09-20
celinval:toolchain-2024-09-20
September 24, 2024 14:31 1m 9s
Revert #3539 and reuse rust backend infrastructure instead Kani CI #8373: Pull request #3545 opened by celinval
September 24, 2024 14:31 1h 8m 7s celinval:toolchain-2024-09-20
celinval:toolchain-2024-09-20
September 24, 2024 14:31 1h 8m 7s
Revert #3539 and reuse rust backend infrastructure instead Kani Format Check #8205: Pull request #3545 opened by celinval
September 24, 2024 14:31 3m 34s celinval:toolchain-2024-09-20
celinval:toolchain-2024-09-20
September 24, 2024 14:31 3m 34s
Revert #3539 and reuse rust backend infrastructure instead Kani Extra #2215: Pull request #3545 opened by celinval
September 24, 2024 14:31 1h 11m 26s
September 24, 2024 14:31 1h 11m 26s
Kani Extra Kani Extra #2214: Merge group checks requested
September 24, 2024 14:02 22s
September 24, 2024 14:02 22s
Kani Format Check Kani Format Check #8204: Merge group checks requested
September 24, 2024 14:02 3m 47s
September 24, 2024 14:02 3m 47s