Skip to content

Actions: model-checking/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Push on main CodeQL #292: by github-merge-queue Bot
22m 41s main
main
22m 41s
Push on subtree/library CodeQL #291: by feliperodri
15m 29s subtree/library
subtree/library
15m 29s
Strip the crate prefix from scanner names so contract metrics match again Check PR Approvals #2211: Pull request #696 submitted by feliperodri
17s
17s
Include alloc in the Kani metrics collected by run-kani.sh (#697) Run GOTO Transcoder (ESBMC) #1907: Commit 29a6bf7 pushed by github-merge-queue Bot
16m 0s gh-readonly-queue/main/pr-697-67dfd8c8ad77682d4b0ecd7757cf58537731db45
gh-readonly-queue/main/pr-697-67dfd8c8ad77682d4b0ecd7757cf58537731db45
16m 0s
Include alloc in the Kani metrics collected by run-kani.sh (#697) Kani #3186: Commit 29a6bf7 pushed by github-merge-queue Bot
1h 43m 59s gh-readonly-queue/main/pr-697-67dfd8c8ad77682d4b0ecd7757cf58537731db45
gh-readonly-queue/main/pr-697-67dfd8c8ad77682d4b0ecd7757cf58537731db45
1h 43m 59s
Build Book Build Book #2989: Merge group checks requested
6m 59s
6m 59s
KMIR KMIR #421: Merge group checks requested
26m 12s
26m 12s
Check PR Approvals Check PR Approvals #2210: Merge group checks requested
12s
12s
Testable simd models Testable simd models #847: Merge group checks requested
2m 59s
2m 59s
Run GOTO Transcoder (ESBMC) Run GOTO Transcoder (ESBMC) #1906: Merge group checks requested
13m 41s
13m 41s
VeriFast VeriFast #1855: Merge group checks requested
39s
39s
Kani Kani #3185: Merge group checks requested
1h 38m 43s
1h 38m 43s
Rust Tests Rust Tests #3137: Merge group checks requested
6m 49s
6m 49s
VeriFast (negative) VeriFast (negative) #1841: Merge group checks requested
42s
42s
Include alloc in the Kani metrics collected by run-kani.sh Check PR Approvals #2209: Pull request #697 submitted by feliperodri
12s
12s
Subtree Update Subtree Update #598: Scheduled
3m 38s main
main
3m 38s
Include alloc in the Kani metrics collected by run-kani.sh Rust Tests #3136: Pull request #697 opened by Tianshu-Huang
47m 26s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
47m 26s
Include alloc in the Kani metrics collected by run-kani.sh Flux #1073: Pull request #697 opened by Tianshu-Huang
25m 28s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
25m 28s
Include alloc in the Kani metrics collected by run-kani.sh Kani #3184: Pull request #697 opened by Tianshu-Huang
2h 20m 18s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
2h 20m 18s
Include alloc in the Kani metrics collected by run-kani.sh Build Book #2988: Pull request #697 opened by Tianshu-Huang
27m 46s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
27m 46s
Include alloc in the Kani metrics collected by run-kani.sh VeriFast #1854: Pull request #697 opened by Tianshu-Huang
22m 36s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
22m 36s
Include alloc in the Kani metrics collected by run-kani.sh Testable simd models #846: Pull request #697 opened by Tianshu-Huang
27m 18s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
27m 18s
Include alloc in the Kani metrics collected by run-kani.sh RAPx #275: Pull request #697 opened by Tianshu-Huang
24m 49s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
24m 49s
Include alloc in the Kani metrics collected by run-kani.sh Run GOTO Transcoder (ESBMC) #1905: Pull request #697 opened by Tianshu-Huang
38m 4s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
38m 4s
Include alloc in the Kani metrics collected by run-kani.sh KMIR #420: Pull request #697 opened by Tianshu-Huang
44m 20s Tianshu-Huang:run-kani-include-alloc
Tianshu-Huang:run-kani-include-alloc
44m 20s