Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
3,975 workflow runs
3,975 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump tests/perf/s2n-quic from adc7ba9 to f0649f9 Kani CI #9539: Pull request #3844 opened by dependabot bot
January 20, 2025 16:45 1h 11m 30s dependabot/submodules/tests/perf/s2n-quic-f0649f9
dependabot/submodules/tests/perf/s2n-quic-f0649f9
January 20, 2025 16:45 1h 11m 30s
Bump tests/perf/s2n-quic from adc7ba9 to f0649f9 Kani CI #9538: Commit f653bbe pushed by dependabot bot
January 20, 2025 16:45 58m 37s dependabot/submodules/tests/perf/s2n-quic-f0649f9
dependabot/submodules/tests/perf/s2n-quic-f0649f9
January 20, 2025 16:45 58m 37s
Automatic cargo update to 2025-01-20 (#3842) Kani CI #9537: Commit 6e6f4ea pushed by github-merge-queue bot
January 20, 2025 14:44 1h 3m 54s main
main
January 20, 2025 14:44 1h 3m 54s
Automatic cargo update to 2025-01-20 (#3842) Kani CI #9536: Commit 6e6f4ea pushed by github-merge-queue bot
January 20, 2025 13:31 1h 12m 15s gh-readonly-queue/main/pr-3842-6f70c7d9ee283356e8a3712c42c4622a6bf6c5e8
gh-readonly-queue/main/pr-3842-6f70c7d9ee283356e8a3712c42c4622a6bf6c5e8
January 20, 2025 13:31 1h 12m 15s
Kani CI Kani CI #9535: Merge group checks requested
January 20, 2025 13:31 55m 59s
January 20, 2025 13:31 55m 59s
Upgrade toolchain to nightly-2025-01-20 Kani CI #9534: Pull request #3843 synchronize by tautschnig
January 20, 2025 13:30 1h 8m 26s tautschnig:toolchain-2025-01-17-manual
tautschnig:toolchain-2025-01-17-manual
January 20, 2025 13:30 1h 8m 26s
Upgrade toolchain to nightly-2025-01-20 Kani CI #9533: Pull request #3843 synchronize by tautschnig
January 20, 2025 13:08 52m 17s tautschnig:toolchain-2025-01-17-manual
tautschnig:toolchain-2025-01-17-manual
January 20, 2025 13:08 52m 17s
Upgrade toolchain to nightly-2025-01-20 Kani CI #9532: Pull request #3843 opened by tautschnig
January 20, 2025 11:35 51m 28s tautschnig:toolchain-2025-01-17-manual
tautschnig:toolchain-2025-01-17-manual
January 20, 2025 11:35 51m 28s
Automatic cargo update to 2025-01-20 Kani CI #9531: Pull request #3842 reopened by zhassan-aws
January 20, 2025 07:11 55m 45s cargo-update-2025-01-20
cargo-update-2025-01-20
January 20, 2025 07:11 55m 45s
Enable GitHub Linux/Arm runners in CI Kani CI #9530: Pull request #3841 synchronize by tautschnig
January 17, 2025 11:10 18m 3s tautschnig:arm-ci
tautschnig:arm-ci
January 17, 2025 11:10 18m 3s
Enable GitHub Linux/Arm runners in CI Kani CI #9529: Pull request #3841 opened by tautschnig
January 17, 2025 10:51 43m 33s tautschnig:arm-ci
tautschnig:arm-ci
January 17, 2025 10:51 43m 33s
Use fully-qualified name for size_of (#3838) Kani CI #9528: Commit 6f70c7d pushed by github-merge-queue bot
January 17, 2025 02:18 51m 2s main
main
January 17, 2025 02:18 51m 2s
Use fully-qualified name for size_of (#3838) Kani CI #9527: Commit 6f70c7d pushed by github-merge-queue bot
January 17, 2025 01:15 1h 2m 53s gh-readonly-queue/main/pr-3838-35015dcefb85a80a227d52d01351b87c17f54db6
gh-readonly-queue/main/pr-3838-35015dcefb85a80a227d52d01351b87c17f54db6
January 17, 2025 01:15 1h 2m 53s
Kani CI Kani CI #9526: Merge group checks requested
January 17, 2025 01:15 53m 8s
January 17, 2025 01:15 53m 8s
Use fully-qualified name for size_of Kani CI #9525: Pull request #3838 synchronize by zhassan-aws
January 17, 2025 00:00 1h 1m 38s zhassan-aws:size-of
zhassan-aws:size-of
January 17, 2025 00:00 1h 1m 38s
Use fully-qualified name for size_of (#3838) Kani CI #9524: Commit 61657c4 pushed by github-merge-queue bot
January 16, 2025 23:30 1h 10m 2s gh-readonly-queue/main/pr-3838-35015dcefb85a80a227d52d01351b87c17f54db6
gh-readonly-queue/main/pr-3838-35015dcefb85a80a227d52d01351b87c17f54db6
January 16, 2025 23:30 1h 10m 2s
Kani CI Kani CI #9523: Merge group checks requested
January 16, 2025 23:30 1h 4m 25s
January 16, 2025 23:30 1h 4m 25s
Use fully-qualified name for size_of Kani CI #9522: Pull request #3838 opened by zhassan-aws
January 16, 2025 22:43 47m 2s zhassan-aws:size-of
zhassan-aws:size-of
January 16, 2025 22:43 47m 2s
Add a regression test for no_std feature (#3837) Kani CI #9521: Commit 35015dc pushed by github-merge-queue bot
January 16, 2025 22:31 51m 10s main
main
January 16, 2025 22:31 51m 10s
Add a regression test for no_std feature (#3837) Kani CI #9520: Commit 35015dc pushed by github-merge-queue bot
January 16, 2025 21:30 1h 0m 28s gh-readonly-queue/main/pr-3837-72637ee7caa8e35f4d259854c15bffbfc89ed432
gh-readonly-queue/main/pr-3837-72637ee7caa8e35f4d259854c15bffbfc89ed432
January 16, 2025 21:30 1h 0m 28s
Kani CI Kani CI #9519: Merge group checks requested
January 16, 2025 21:30 51m 24s
January 16, 2025 21:30 51m 24s
Add a regression test for no_std feature Kani CI #9518: Pull request #3837 opened by carolynzech
January 16, 2025 19:15 1h 3m 32s carolynzech:no-std-test
carolynzech:no-std-test
January 16, 2025 19:15 1h 3m 32s
Automatic toolchain upgrade to nightly-2025-01-16 (#3836) Kani CI #9517: Commit 72637ee pushed by github-merge-queue bot
January 16, 2025 09:13 59m 54s main
main
January 16, 2025 09:13 59m 54s
Kani CI Kani CI #9516: Merge group checks requested
January 16, 2025 08:07 1h 2m 11s
January 16, 2025 08:07 1h 2m 11s
Automatic toolchain upgrade to nightly-2025-01-16 (#3836) Kani CI #9515: Commit 72637ee pushed by github-merge-queue bot
January 16, 2025 08:07 1h 5m 54s gh-readonly-queue/main/pr-3836-1e249518fe601b012306f429852be66fa0e96c84
gh-readonly-queue/main/pr-3836-1e249518fe601b012306f429852be66fa0e96c84
January 16, 2025 08:07 1h 5m 54s