Skip to content

Actions: model-checking/kani

Actions

Kani CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update toolchain to 2025-03-04 Kani CI #9899: Pull request #3927 synchronize by qinheping
March 10, 2025 19:11 56m 40s qinheping:toolchain
qinheping:toolchain
March 10, 2025 19:11 56m 40s
Update toolchain to 2025-03-04 Kani CI #9898: Pull request #3927 synchronize by qinheping
March 10, 2025 19:11 52m 16s qinheping:toolchain
qinheping:toolchain
March 10, 2025 19:11 52m 16s
Update toolchain to 2025-03-04 Kani CI #9897: Pull request #3927 synchronize by qinheping
March 10, 2025 18:58 53m 49s qinheping:toolchain
qinheping:toolchain
March 10, 2025 18:58 53m 49s
Bump tests/perf/s2n-quic from d88faa4 to 8670e83 (#3928) Kani CI #9896: Commit fcc5c4b pushed by github-merge-queue bot
March 10, 2025 18:30 48m 25s main
main
March 10, 2025 18:30 48m 25s
Update toolchain to 2025-03-04 Kani CI #9895: Pull request #3927 synchronize by qinheping
March 10, 2025 18:21 54m 53s qinheping:toolchain
qinheping:toolchain
March 10, 2025 18:21 54m 53s
Kani CI Kani CI #9894: Merge group checks requested
March 10, 2025 17:36 51m 36s
March 10, 2025 17:36 51m 36s
Bump tests/perf/s2n-quic from d88faa4 to 8670e83 (#3928) Kani CI #9893: Commit fcc5c4b pushed by github-merge-queue bot
March 10, 2025 17:36 53m 18s gh-readonly-queue/main/pr-3928-cb01c7b885a47052bff14a8f5af2dde3e184c18d
gh-readonly-queue/main/pr-3928-cb01c7b885a47052bff14a8f5af2dde3e184c18d
March 10, 2025 17:36 53m 18s
Update toolchain to 2025-03-04 Kani CI #9892: Pull request #3927 synchronize by qinheping
March 10, 2025 17:00 52m 58s qinheping:toolchain
qinheping:toolchain
March 10, 2025 17:00 52m 58s
Bump tests/perf/s2n-quic from d88faa4 to 8670e83 Kani CI #9891: Pull request #3928 opened by dependabot bot
March 10, 2025 16:34 1h 1m 19s dependabot/submodules/tests/perf/s2n-quic-8670e83
dependabot/submodules/tests/perf/s2n-quic-8670e83
March 10, 2025 16:34 1h 1m 19s
Bump tests/perf/s2n-quic from d88faa4 to 8670e83 Kani CI #9890: Commit 84df45e pushed by dependabot bot
March 10, 2025 16:34 53m 51s dependabot/submodules/tests/perf/s2n-quic-8670e83
dependabot/submodules/tests/perf/s2n-quic-8670e83
March 10, 2025 16:34 53m 51s
Automatic cargo update to 2025-03-10 Kani CI #9889: Pull request #3926 reopened by tautschnig
March 10, 2025 15:06 49m 26s cargo-update-2025-03-10
cargo-update-2025-03-10
March 10, 2025 15:06 49m 26s
Update toolchain to 2025-03-04 Kani CI #9888: Pull request #3927 synchronize by qinheping
March 10, 2025 07:57 4m 15s qinheping:toolchain
qinheping:toolchain
March 10, 2025 07:57 4m 15s
Update toolchain to 2025-03-04 Kani CI #9887: Pull request #3927 opened by qinheping
March 10, 2025 07:29 50m 15s qinheping:toolchain
qinheping:toolchain
March 10, 2025 07:29 50m 15s
Fix CHANGELOG of 0.60.0 (#3925) Kani CI #9886: Commit cb01c7b pushed by github-merge-queue bot
March 6, 2025 21:40 49m 36s main
main
March 6, 2025 21:40 49m 36s
Kani CI Kani CI #9885: Merge group checks requested
March 6, 2025 20:37 1h 2m 11s
March 6, 2025 20:37 1h 2m 11s
Fix CHANGELOG of 0.60.0 (#3925) Kani CI #9884: Commit cb01c7b pushed by github-merge-queue bot
March 6, 2025 20:37 49m 18s gh-readonly-queue/main/pr-3925-67cd1e6b074bfe91b8a4fde4c146a5ce6479276d
gh-readonly-queue/main/pr-3925-67cd1e6b074bfe91b8a4fde4c146a5ce6479276d
March 6, 2025 20:37 49m 18s
Fix CHANGELOG of 0.60.0 Kani CI #9883: Pull request #3925 opened by qinheping
March 6, 2025 19:37 59m 2s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 19:37 59m 2s
Bump Kani version to 0.60.0 (#3923) Kani CI #9882: Commit 67cd1e6 pushed by github-merge-queue bot
March 6, 2025 18:43 1h 3m 15s main
main
March 6, 2025 18:43 1h 3m 15s
Kani CI Kani CI #9881: Merge group checks requested
March 6, 2025 17:45 52m 8s
March 6, 2025 17:45 52m 8s
Bump Kani version to 0.60.0 (#3923) Kani CI #9880: Commit 67cd1e6 pushed by github-merge-queue bot
March 6, 2025 17:45 57m 41s gh-readonly-queue/main/pr-3923-68cb4ee4bea61514c93277919dadcd3b9caf098d
gh-readonly-queue/main/pr-3923-68cb4ee4bea61514c93277919dadcd3b9caf098d
March 6, 2025 17:45 57m 41s
Bump Kani version to 0.60.0 Kani CI #9879: Pull request #3923 synchronize by qinheping
March 6, 2025 05:19 1h 8m 10s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:19 1h 8m 10s
Bump Kani version to 0.60.0 Kani CI #9878: Pull request #3923 synchronize by qinheping
March 6, 2025 05:10 48m 8s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:10 48m 8s
Bump Kani version to 0.60.0 Kani CI #9877: Pull request #3923 synchronize by qinheping
March 6, 2025 05:06 50m 24s qinheping:release-kani-0.60.0
qinheping:release-kani-0.60.0
March 6, 2025 05:06 50m 24s
Autoharness Misc. Improvements (#3922) Kani CI #9876: Commit 68cb4ee pushed by github-merge-queue bot
March 6, 2025 02:25 51m 36s main
main
March 6, 2025 02:25 51m 36s
Autoharness Misc. Improvements (#3922) Kani CI #9875: Commit 68cb4ee pushed by github-merge-queue bot
March 6, 2025 01:37 45m 33s gh-readonly-queue/main/pr-3922-9ea1f38cdb14e4c9b24473e076f387c6ae82f314
gh-readonly-queue/main/pr-3922-9ea1f38cdb14e4c9b24473e076f387c6ae82f314
March 6, 2025 01:37 45m 33s