Skip to content

Actions: model-checking/kani

Actions

Kani Format Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format-check.yml
3,783 workflow runs
3,783 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set kani default value to 1 Kani Format Check #9638: Pull request #3912 opened by rajath-mk
February 27, 2025 00:31 3m 34s rajath-mk:unwind-default
rajath-mk:unwind-default
February 27, 2025 00:31 3m 34s
Update toolchain to 2025-02-26 Kani Format Check #9637: Pull request #3911 synchronize by remi-delmas-3000
February 26, 2025 22:51 3m 29s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
February 26, 2025 22:51 3m 29s
Update toolchain to 2025-02-26 Kani Format Check #9636: Pull request #3911 opened by remi-delmas-3000
February 26, 2025 22:49 3m 39s remi-delmas-3000:update-toolchain-2025-02-26
remi-delmas-3000:update-toolchain-2025-02-26
February 26, 2025 22:49 3m 39s
Convert raw URL to link (#3907) Kani Format Check #9635: Commit 366ce20 pushed by github-merge-queue bot
February 26, 2025 18:00 2m 34s main
main
February 26, 2025 18:00 2m 34s
Kani Format Check Kani Format Check #9634: Merge group checks requested
February 26, 2025 16:59 4m 3s
February 26, 2025 16:59 4m 3s
Convert raw URL to link (#3907) Kani Format Check #9633: Commit 366ce20 pushed by github-merge-queue bot
February 26, 2025 16:59 2m 44s gh-readonly-queue/main/pr-3907-bc573ef8bd131880a640db7cb00d3d8d6c04aea2
gh-readonly-queue/main/pr-3907-bc573ef8bd131880a640db7cb00d3d8d6c04aea2
February 26, 2025 16:59 2m 44s
Convert raw URL to link Kani Format Check #9632: Pull request #3907 opened by flba-eb
February 26, 2025 14:37 3m 52s flba-eb:patch-1
flba-eb:patch-1
February 26, 2025 14:37 3m 52s
Bump tests/perf/s2n-quic from 00e3371 to cfb314b (#3903) Kani Format Check #9631: Commit bc573ef pushed by github-merge-queue bot
February 24, 2025 20:01 3m 41s main
main
February 24, 2025 20:01 3m 41s
Bump ncipollo/release-action from 1.15.0 to 1.16.0 (#3902) Kani Format Check #9630: Commit 303302d pushed by github-merge-queue bot
February 24, 2025 19:53 3m 40s main
main
February 24, 2025 19:53 3m 40s
Kani Format Check Kani Format Check #9629: Merge group checks requested
February 24, 2025 19:04 2m 36s
February 24, 2025 19:04 2m 36s
Bump tests/perf/s2n-quic from 00e3371 to cfb314b (#3903) Kani Format Check #9628: Commit bc573ef pushed by github-merge-queue bot
February 24, 2025 19:04 4m 31s gh-readonly-queue/main/pr-3903-303302d649680a2c00c51e9d88686e2fc9009a27
gh-readonly-queue/main/pr-3903-303302d649680a2c00c51e9d88686e2fc9009a27
February 24, 2025 19:04 4m 31s
Kani Format Check Kani Format Check #9627: Merge group checks requested
February 24, 2025 18:50 2m 35s
February 24, 2025 18:50 2m 35s
Bump ncipollo/release-action from 1.15.0 to 1.16.0 (#3902) Kani Format Check #9626: Commit 303302d pushed by github-merge-queue bot
February 24, 2025 18:50 4m 14s gh-readonly-queue/main/pr-3902-f64f53e25b8e93e8bb00cecc57b0677d9235b11c
gh-readonly-queue/main/pr-3902-f64f53e25b8e93e8bb00cecc57b0677d9235b11c
February 24, 2025 18:50 4m 14s
Bump tests/perf/s2n-quic from 00e3371 to cfb314b Kani Format Check #9625: Pull request #3903 opened by dependabot bot
February 24, 2025 17:48 2m 37s dependabot/submodules/tests/perf/s2n-quic-cfb314b
dependabot/submodules/tests/perf/s2n-quic-cfb314b
February 24, 2025 17:48 2m 37s
Bump tests/perf/s2n-quic from 00e3371 to cfb314b Kani Format Check #9624: Commit 25c5dce pushed by dependabot bot
February 24, 2025 17:48 2m 32s dependabot/submodules/tests/perf/s2n-quic-cfb314b
dependabot/submodules/tests/perf/s2n-quic-cfb314b
February 24, 2025 17:48 2m 32s
Bump ncipollo/release-action from 1.15.0 to 1.16.0 Kani Format Check #9623: Pull request #3902 opened by dependabot bot
February 24, 2025 17:33 4m 25s dependabot/github_actions/ncipollo/release-action-1.16.0
dependabot/github_actions/ncipollo/release-action-1.16.0
February 24, 2025 17:33 4m 25s
Bump ncipollo/release-action from 1.15.0 to 1.16.0 Kani Format Check #9622: Commit 23c30f4 pushed by dependabot bot
February 24, 2025 17:33 2m 53s dependabot/github_actions/ncipollo/release-action-1.16.0
dependabot/github_actions/ncipollo/release-action-1.16.0
February 24, 2025 17:33 2m 53s
Automatic cargo update to 2025-02-24 (#3901) Kani Format Check #9621: Commit f64f53e pushed by github-merge-queue bot
February 24, 2025 07:24 4m 19s main
main
February 24, 2025 07:24 4m 19s
Kani Format Check Kani Format Check #9620: Merge group checks requested
February 24, 2025 06:18 4m 35s
February 24, 2025 06:18 4m 35s
Automatic cargo update to 2025-02-24 (#3901) Kani Format Check #9619: Commit f64f53e pushed by github-merge-queue bot
February 24, 2025 06:18 4m 56s gh-readonly-queue/main/pr-3901-4e54539c9b0f0354c13c0b273ed9d484cdc5d217
gh-readonly-queue/main/pr-3901-4e54539c9b0f0354c13c0b273ed9d484cdc5d217
February 24, 2025 06:18 4m 56s
Automatic cargo update to 2025-02-24 Kani Format Check #9618: Pull request #3901 reopened by zhassan-aws
February 24, 2025 04:29 2m 30s cargo-update-2025-02-24
cargo-update-2025-02-24
February 24, 2025 04:29 2m 30s
Upgrade the toolchain to 2025-02-21 (#3899) Kani Format Check #9617: Commit 4e54539 pushed by github-merge-queue bot
February 22, 2025 01:23 2m 33s main
main
February 22, 2025 01:23 2m 33s
Upgrade the toolchain to 2025-02-21 (#3899) Kani Format Check #9616: Commit 4e54539 pushed by github-merge-queue bot
February 22, 2025 00:31 2m 34s gh-readonly-queue/main/pr-3899-fe0d9d2a63c969898bfe733b3ab4a13cc834bf0b
gh-readonly-queue/main/pr-3899-fe0d9d2a63c969898bfe733b3ab4a13cc834bf0b
February 22, 2025 00:31 2m 34s
Kani Format Check Kani Format Check #9615: Merge group checks requested
February 22, 2025 00:31 3m 46s
February 22, 2025 00:31 3m 46s
Upgrade the toolchain to 2025-02-21 Kani Format Check #9614: Pull request #3899 synchronize by zhassan-aws
February 21, 2025 23:34 2m 38s zhassan-aws:nightly-2025-02-21
zhassan-aws:nightly-2025-02-21
February 21, 2025 23:34 2m 38s