Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
2,500+ workflow runs
2,500+ workflow runs

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
Bump tests/perf/s2n-quic from 024b804 to 08ca4de Kani CI #12801: Pull request #4593 opened by dependabot Bot
1h 14m 32s dependabot/submodules/tests/perf/s2n-quic-08ca4de
dependabot/submodules/tests/perf/s2n-quic-08ca4de
1h 14m 32s
Bump tests/perf/s2n-quic from 024b804 to 08ca4de Kani CI #12800: Commit a21a67c pushed by dependabot Bot
1h 22m 6s dependabot/submodules/tests/perf/s2n-quic-08ca4de
dependabot/submodules/tests/perf/s2n-quic-08ca4de
1h 22m 6s
Support stubbing trait method implementations (#4587) Kani CI #12799: Commit 6fa4467 pushed by github-merge-queue Bot
1h 12m 21s main
main
1h 12m 21s
Kani CI Kani CI #12798: Merge group checks requested
1h 6m 26s
1h 6m 26s
Support stubbing trait method implementations (#4587) Kani CI #12797: Commit 6fa4467 pushed by github-merge-queue Bot
1h 1m 23s gh-readonly-queue/main/pr-4587-78eb4658b0f39ef0cbb88b4918c6e9c3c030ef5e
gh-readonly-queue/main/pr-4587-78eb4658b0f39ef0cbb88b4918c6e9c3c030ef5e
1h 1m 23s
Support stubbing trait method implementations Kani CI #12796: Pull request #4587 synchronize by feliperodri
1h 8m 2s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
1h 8m 2s
Support stubbing trait method implementations Kani CI #12795: Pull request #4587 synchronize by feliperodri
1h 8m 8s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
1h 8m 8s
Add #[kani::loop_decreases] for proving loop termination (#4564) Kani CI #12794: Commit 78eb465 pushed by github-merge-queue Bot
46m 16s main
main
46m 16s
Support stubbing trait method implementations Kani CI #12793: Pull request #4587 synchronize by feliperodri
45m 45s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
45m 45s
Add #[kani::loop_decreases] for proving loop termination (#4564) Kani CI #12792: Commit 78eb465 pushed by github-merge-queue Bot
1h 23m 41s gh-readonly-queue/main/pr-4564-78a06303a86c40f4259a8ac4532d3b66f4637d00
gh-readonly-queue/main/pr-4564-78a06303a86c40f4259a8ac4532d3b66f4637d00
1h 23m 41s
Kani CI Kani CI #12791: Merge group checks requested
1h 22m 46s
1h 22m 46s
Support stubbing trait method implementations Kani CI #12790: Pull request #4587 synchronize by feliperodri
48m 6s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
48m 6s
Support stubbing trait method implementations Kani CI #12789: Pull request #4587 opened by feliperodri
46m 18s feliperodri:stub-trait-methods
feliperodri:stub-trait-methods
46m 18s
Add #[kani::loop_decreases] for proving loop termination Kani CI #12788: Pull request #4564 synchronize by feliperodri
53m 59s feliperodri:decreases-clause
feliperodri:decreases-clause
53m 59s
Towards stubbing stabilization (#4566) Kani CI #12787: Commit 78a0630 pushed by github-merge-queue Bot
1h 7m 15s main
main
1h 7m 15s
Reject mutual recursion with #[kani::recursion] (#4580) Kani CI #12786: Commit 33bfc86 pushed by github-merge-queue Bot
1h 8m 37s main
main
1h 8m 37s
Warn when quantifier range exceeds SAT solver threshold (#4579) Kani CI #12785: Commit 6bfc273 pushed by github-merge-queue Bot
53m 10s main
main
53m 10s
Towards stubbing stabilization (#4566) Kani CI #12784: Commit 78a0630 pushed by github-merge-queue Bot
1h 27m 33s gh-readonly-queue/main/pr-4566-33bfc86595f4510d120abf3e05ee94ae71320274
gh-readonly-queue/main/pr-4566-33bfc86595f4510d120abf3e05ee94ae71320274
1h 27m 33s
Kani CI Kani CI #12783: Merge group checks requested
1h 33m 54s
1h 33m 54s
Reject mutual recursion with #[kani::recursion] (#4580) Kani CI #12782: Commit 33bfc86 pushed by github-merge-queue Bot
1h 51m 6s gh-readonly-queue/main/pr-4580-6bfc273ec2d5eb15a7c76bdc1ee61273dbeae04b
gh-readonly-queue/main/pr-4580-6bfc273ec2d5eb15a7c76bdc1ee61273dbeae04b
1h 51m 6s
Kani CI Kani CI #12781: Merge group checks requested
1h 17m 18s
1h 17m 18s
Add #[kani::loop_decreases] for proving loop termination Kani CI #12780: Pull request #4564 synchronize by feliperodri
1h 36m 15s feliperodri:decreases-clause
feliperodri:decreases-clause
1h 36m 15s
Add #[kani::loop_decreases] for proving loop termination Kani CI #12779: Pull request #4564 synchronize by feliperodri
1h 33m 48s feliperodri:decreases-clause
feliperodri:decreases-clause
1h 33m 48s
Support pointer arithmetic in quantifier predicates Kani CI #12778: Pull request #4583 synchronize by feliperodri
1h 47m 40s feliperodri:quantifier-pointer-arithmetic
feliperodri:quantifier-pointer-arithmetic
1h 47m 40s
Support pointer arithmetic in quantifier predicates Kani CI #12777: Pull request #4583 synchronize by feliperodri
1h 44m 27s feliperodri:quantifier-pointer-arithmetic
feliperodri:quantifier-pointer-arithmetic
1h 44m 27s