Skip to content

Actions: model-checking/kani

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
Implement stub sets for reusable stub groups Kani CI #12812: Pull request #4594 synchronize by feliperodri
1h 16m 57s feliperodri:stub-sets
feliperodri:stub-sets
1h 16m 57s
Implement stub sets for reusable stub groups Cargo Deny #4836: Pull request #4594 synchronize by feliperodri
1m 23s feliperodri:stub-sets
feliperodri:stub-sets
1m 23s
Implement stub sets for reusable stub groups Release Bundle #6098: Pull request #4594 synchronize by feliperodri
16m 50s feliperodri:stub-sets
feliperodri:stub-sets
16m 50s
Implement stub sets for reusable stub groups Kani Format Check #12643: Pull request #4594 synchronize by feliperodri
2m 32s feliperodri:stub-sets
feliperodri:stub-sets
2m 32s
pages build and deployment pages-build-deployment #2137: by github-pages Bot
30s gh-pages
gh-pages
30s
Push on gh-pages CodeQL #978: by github-actions Bot
2m 1s gh-pages
gh-pages
2m 1s
Automatic cargo update to 2026-04-27 (#4592) Kani CI #12811: Commit b3414a5 pushed by github-merge-queue Bot
1h 4m 25s gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
1h 4m 25s
Automatic cargo update to 2026-04-27 (#4592) Kani Format Check #12642: Commit b3414a5 pushed by github-merge-queue Bot
16m 19s gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
16m 19s
Automatic cargo update to 2026-04-27 (#4592) Cargo Deny #4835: Commit b3414a5 pushed by github-merge-queue Bot
16m 52s gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
16m 52s
Push on gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230 CodeQL #977: by github-merge-queue Bot
19m 14s gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
gh-readonly-queue/main/pr-4592-7253becc050d701218144d9dd50cdfb387514230
19m 14s
Release Bundle Release Bundle #6097: Merge group checks requested
15m 46s
15m 46s
Kani CI Kani CI #12810: Merge group checks requested
1h 10m 47s
1h 10m 47s
Cargo Deny Cargo Deny #4834: Merge group checks requested
49s
49s
Kani Format Check Kani Format Check #12641: Merge group checks requested
15m 17s
15m 17s
Kani Extra Kani Extra #5022: Merge group checks requested
12s
12s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Kani Format Check #12640: Commit 7253bec pushed by github-merge-queue Bot
2m 53s main
main
2m 53s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Kani CI #12809: Commit 7253bec pushed by github-merge-queue Bot
1h 12m 1s main
main
1h 12m 1s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Kani Compiler Performance Benchmarks #298: Commit 7253bec pushed by github-merge-queue Bot
44m 21s main
main
44m 21s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Kani End-To-End Performance Benchmarks #298: Commit 7253bec pushed by github-merge-queue Bot
1h 26m 47s main
main
1h 26m 47s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Cargo Deny #4833: Commit 7253bec pushed by github-merge-queue Bot
46s main
main
46s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de (#4593) Release Bundle #6096: Commit 7253bec pushed by github-merge-queue Bot
15m 22s main
main
15m 22s
Push on main CodeQL #976: by github-merge-queue Bot
16m 6s main
main
16m 6s
Implement stub sets for reusable stub groups Kani Format Check #12639: Pull request #4594 synchronize by feliperodri
3m 4s feliperodri:stub-sets
feliperodri:stub-sets
3m 4s
Implement stub sets for reusable stub groups Check Std Verification #2513: Pull request #4594 synchronize by feliperodri
6m 22s feliperodri:stub-sets
feliperodri:stub-sets
6m 22s
Implement stub sets for reusable stub groups Release Bundle #6095: Pull request #4594 synchronize by feliperodri
17m 3s feliperodri:stub-sets
feliperodri:stub-sets
17m 3s