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
Nightly: CBMC Latest Nightly: CBMC Latest #1204: Scheduled
1h 4m 5s main
main
1h 4m 5s
Nightly: Slow tests Nightly: Slow tests #1315: Scheduled
11m 12s main
main
11m 12s
Support arithmetic in quantifier predicates via pure expression inlining Check Std Verification #2463: Pull request #4578 synchronize by feliperodri
5m 21s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
5m 21s
Support arithmetic in quantifier predicates via pure expression inlining Cargo Deny #4759: Pull request #4578 synchronize by feliperodri
48s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
48s
Support arithmetic in quantifier predicates via pure expression inlining Kani CI #12735: Pull request #4578 synchronize by feliperodri
1h 4m 5s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
1h 4m 5s
Support arithmetic in quantifier predicates via pure expression inlining Kani Format Check #12566: Pull request #4578 synchronize by feliperodri
2m 48s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
2m 48s
Support arithmetic in quantifier predicates via pure expression inlining Release Bundle #6031: Pull request #4578 synchronize by feliperodri
15m 15s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
15m 15s
Support arithmetic in quantifier predicates via pure expression inlining Kani Extra #4963: Pull request #4578 synchronize by feliperodri
1h 23m 7s
1h 23m 7s
Support arithmetic in quantifier predicates via pure expression inlining Release Bundle #6030: Pull request #4578 synchronize by feliperodri
15m 42s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
15m 42s
Support arithmetic in quantifier predicates via pure expression inlining Cargo Deny #4758: Pull request #4578 synchronize by feliperodri
51s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
51s
Support arithmetic in quantifier predicates via pure expression inlining Check Std Verification #2462: Pull request #4578 synchronize by feliperodri
5m 50s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
5m 50s
Support arithmetic in quantifier predicates via pure expression inlining Kani CI #12734: Pull request #4578 synchronize by feliperodri
59m 33s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
59m 33s
Support arithmetic in quantifier predicates via pure expression inlining Kani Format Check #12565: Pull request #4578 synchronize by feliperodri
1m 51s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
1m 51s
Support arithmetic in quantifier predicates via pure expression inlining Kani Extra #4962: Pull request #4578 synchronize by feliperodri
1h 17m 45s
1h 17m 45s
Support arithmetic in quantifier predicates via pure expression inlining Kani CI #12733: Pull request #4578 synchronize by feliperodri
49m 0s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
49m 0s
Support arithmetic in quantifier predicates via pure expression inlining Kani Format Check #12564: Pull request #4578 synchronize by feliperodri
2m 48s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
2m 48s
Support arithmetic in quantifier predicates via pure expression inlining Release Bundle #6029: Pull request #4578 synchronize by feliperodri
17m 56s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
17m 56s
Support arithmetic in quantifier predicates via pure expression inlining Cargo Deny #4757: Pull request #4578 synchronize by feliperodri
44s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
44s
Support arithmetic in quantifier predicates via pure expression inlining Check Std Verification #2461: Pull request #4578 synchronize by feliperodri
4m 49s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
4m 49s
Support arithmetic in quantifier predicates via pure expression inlining Kani Extra #4961: Pull request #4578 synchronize by feliperodri
1h 35m 14s
1h 35m 14s
Support arithmetic in quantifier predicates via pure expression inlining Kani Format Check #12563: Pull request #4578 synchronize by feliperodri
2m 42s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
2m 42s
Support arithmetic in quantifier predicates via pure expression inlining Check Std Verification #2460: Pull request #4578 synchronize by feliperodri
5m 36s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
5m 36s
Support arithmetic in quantifier predicates via pure expression inlining Cargo Deny #4756: Pull request #4578 synchronize by feliperodri
51s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
51s
Support arithmetic in quantifier predicates via pure expression inlining Kani CI #12732: Pull request #4578 synchronize by feliperodri
50m 35s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
50m 35s
Support arithmetic in quantifier predicates via pure expression inlining Release Bundle #6028: Pull request #4578 synchronize by feliperodri
23m 37s feliperodri:quantifier-pure-expressions
feliperodri:quantifier-pure-expressions
23m 37s