Skip to content

Actions: model-checking/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16,853 workflow run results
16,853 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Re-enabled hierarchical logs in the compiler (#3449) Kani CI #7934: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 19:07 40m 30s main
main
August 22, 2024 19:07 40m 30s
Re-enabled hierarchical logs in the compiler (#3449) Release Bundle #2277: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 19:07 26m 36s main
main
August 22, 2024 19:07 26m 36s
Re-enabled hierarchical logs in the compiler (#3449) Kani Performance Benchmarks #555: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 19:07 54m 15s main
main
August 22, 2024 19:07 54m 15s
Re-enabled hierarchical logs in the compiler (#3449) Cargo Audit #6484: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 19:07 1m 14s main
main
August 22, 2024 19:07 1m 14s
Re-enabled hierarchical logs in the compiler (#3449) Kani Format Check #7766: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 19:07 2m 12s main
main
August 22, 2024 19:07 2m 12s
Basic support for memory initialization checks for unions Release Bundle #2276: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 23m 52s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:04 23m 52s
Basic support for memory initialization checks for unions Kani Format Check #7765: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 4m 2s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:04 4m 2s
Basic support for memory initialization checks for unions Check Std Verification #309: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 7m 21s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:04 7m 21s
Basic support for memory initialization checks for unions Kani CI #7933: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 27m 8s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:04 27m 8s
Basic support for memory initialization checks for unions Kani Extra #1904: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 1h 1m 43s
August 22, 2024 19:04 1h 1m 43s
Basic support for memory initialization checks for unions Cargo Audit #6483: Pull request #3444 synchronize by artemagvanian
August 22, 2024 19:04 1m 8s artemagvanian:uninit-unions
artemagvanian:uninit-unions
August 22, 2024 19:04 1m 8s
Extend name resolution to support qualified paths (Partial Fix) Cargo Audit #6482: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 1m 5s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 18:49 1m 5s
Extend name resolution to support qualified paths (Partial Fix) Kani Format Check #7764: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 2m 4s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 18:49 2m 4s
Extend name resolution to support qualified paths (Partial Fix) Release Bundle #2275: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 25m 24s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 18:49 25m 24s
Extend name resolution to support qualified paths (Partial Fix) Check Std Verification #308: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 7m 29s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 18:49 7m 29s
Extend name resolution to support qualified paths (Partial Fix) Kani CI #7932: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 51m 14s celinval:issue-2524-stub-trait
celinval:issue-2524-stub-trait
August 22, 2024 18:49 51m 14s
Extend name resolution to support qualified paths (Partial Fix) Kani Extra #1903: Pull request #3457 synchronize by celinval
August 22, 2024 18:49 54m 39s
August 22, 2024 18:49 54m 39s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Kani CI #7931: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 46m 53s celinval:issue-3312-crash
celinval:issue-3312-crash
August 22, 2024 18:17 46m 53s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Kani Format Check #7763: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 3m 26s celinval:issue-3312-crash
celinval:issue-3312-crash
August 22, 2024 18:17 3m 26s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Check Std Verification #307: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 8m 19s celinval:issue-3312-crash
celinval:issue-3312-crash
August 22, 2024 18:17 8m 19s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Cargo Audit #6481: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 59s celinval:issue-3312-crash
celinval:issue-3312-crash
August 22, 2024 18:17 59s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Release Bundle #2274: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 27m 59s celinval:issue-3312-crash
celinval:issue-3312-crash
August 22, 2024 18:17 27m 59s
Fix ICE due to mishandling of Aggregate rvalue for raw pointers to str Kani Extra #1902: Pull request #3448 synchronize by celinval
August 22, 2024 18:17 57m 29s
August 22, 2024 18:17 57m 29s
Re-enabled hierarchical logs in the compiler (#3449) Kani CI #7930: Commit 56e2a2f pushed by github-merge-queue bot
August 22, 2024 18:14 38m 7s gh-readonly-queue/main/pr-3449-0ed9a624244e666232e402bb4abdce864bae7f41
gh-readonly-queue/main/pr-3449-0ed9a624244e666232e402bb4abdce864bae7f41
August 22, 2024 18:14 38m 7s
Kani CI Kani CI #7929: Merge group checks requested
August 22, 2024 18:14 52m 46s
August 22, 2024 18:14 52m 46s