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
Autoharness: mine constructor assertions into value filters Kani Benchmarks #124: Pull request #4718 labeled by feliperodri
1h 20m 0s tautschnig:mining-pr
tautschnig:mining-pr
1h 20m 0s
Autoharness: assume layout niches of generated scalar values Kani Benchmarks #123: Pull request #4716 labeled by feliperodri
1h 35m 54s tautschnig:niche-pr
tautschnig:niche-pr
1h 35m 54s
Elide vacuous pointer checks on contract-closure capture loads Kani Benchmarks #122: Pull request #4715 synchronize by feliperodri
48m 31s tautschnig:contract-closure-capture-checks
tautschnig:contract-closure-capture-checks
48m 31s
Elide vacuous pointer checks on contract-closure capture loads Cargo Deny #5286: Pull request #4715 synchronize by feliperodri
1m 0s tautschnig:contract-closure-capture-checks
tautschnig:contract-closure-capture-checks
1m 0s
Elide vacuous pointer checks on contract-closure capture loads Kani CI #13262: Pull request #4715 synchronize by feliperodri
3m 3s tautschnig:contract-closure-capture-checks
tautschnig:contract-closure-capture-checks
3m 3s
Elide vacuous pointer checks on contract-closure capture loads Kani Extra #5298: Pull request #4715 synchronize by feliperodri
14s
14s
Elide vacuous pointer checks on contract-closure capture loads Check Std Verification #2731: Pull request #4715 synchronize by feliperodri
3m 8s tautschnig:contract-closure-capture-checks
tautschnig:contract-closure-capture-checks
3m 8s
Elide vacuous pointer checks on contract-closure capture loads Kani Format Check #13093: Pull request #4715 synchronize by feliperodri
1m 56s tautschnig:contract-closure-capture-checks
tautschnig:contract-closure-capture-checks
1m 56s
Elide vacuous pointer checks on contract-closure capture loads Release Bundle #6459: Pull request #4715 synchronize by feliperodri
11m 58s tautschnig:contract-closure-capture-checks
tautschnig:contract-closure-capture-checks
11m 58s
Elide vacuous pointer checks on contract-closure capture loads Kani Benchmarks #121: Pull request #4715 labeled by feliperodri
2m 4s tautschnig:contract-closure-capture-checks
tautschnig:contract-closure-capture-checks
2m 4s
Running Copilot Code Review Copilot #63: by Copilot AI
5m 56s main
main
5m 56s
Do not assert dependency contracts for calls made by contract clauses Kani Benchmarks #120: Pull request #4710 labeled by feliperodri
1h 31m 21s tautschnig:clause-context-no-assert
tautschnig:clause-context-no-assert
1h 31m 21s
Dispatch clause-context calls to the check target to the original body Kani Benchmarks #119: Pull request #4709 labeled by feliperodri
1h 39m 2s tautschnig:contract-clause-dispatch
tautschnig:contract-clause-dispatch
1h 39m 2s
Running Copilot Code Review Copilot #62: by Copilot AI
6m 44s main
main
6m 44s
Autoharness: mine constructor assertions into value filters Kani Extra #5297: Pull request #4718 opened by tautschnig
16s
16s
Autoharness: mine constructor assertions into value filters Release Bundle #6458: Pull request #4718 opened by tautschnig
15m 51s tautschnig:mining-pr
tautschnig:mining-pr
15m 51s
Autoharness: mine constructor assertions into value filters Cargo Deny #5285: Pull request #4718 opened by tautschnig
1m 10s tautschnig:mining-pr
tautschnig:mining-pr
1m 10s
Autoharness: mine constructor assertions into value filters Kani Benchmarks #118: Pull request #4718 opened by tautschnig
1s tautschnig:mining-pr
tautschnig:mining-pr
1s
Autoharness: mine constructor assertions into value filters Check Std Verification #2730: Pull request #4718 opened by tautschnig
6m 39s tautschnig:mining-pr
tautschnig:mining-pr
6m 39s
Autoharness: mine constructor assertions into value filters Kani CI #13261: Pull request #4718 opened by tautschnig
50m 14s tautschnig:mining-pr
tautschnig:mining-pr
50m 14s
Autoharness: mine constructor assertions into value filters Kani Format Check #13092: Pull request #4718 opened by tautschnig
2m 2s tautschnig:mining-pr
tautschnig:mining-pr
2m 2s
Running Copilot Code Review Copilot #61: by Copilot AI
5m 38s main
main
5m 38s
Autoharness: constructor-based value generation (--constructor-args) Kani Extra #5296: Pull request #4717 opened by tautschnig
18s
18s
Autoharness: constructor-based value generation (--constructor-args) Kani Benchmarks #117: Pull request #4717 opened by tautschnig
2s tautschnig:ctor-pr
tautschnig:ctor-pr
2s
Autoharness: constructor-based value generation (--constructor-args) Kani CI #13260: Pull request #4717 opened by tautschnig
1h 14m 12s tautschnig:ctor-pr
tautschnig:ctor-pr
1h 14m 12s