Skip to content

Actions: model-checking/kani-github-action

Actions

Kani Action Check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-action.yml
88 workflow runs
88 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README to use v1 instead of v1.0 Kani Action Check #147: Pull request #55 opened by celinval
January 10, 2024 21:46 1m 10s celinval:v1
celinval:v1
January 10, 2024 21:46 1m 10s
Update README.md Kani Action Check #146: Pull request #54 opened by celinval
January 10, 2024 21:23 54s celinval:v1-doc
celinval:v1-doc
January 10, 2024 21:23 54s
Use stable version to install Kani Kani Action Check #145: Pull request #53 opened by zhassan-aws
January 10, 2024 00:30 1m 11s zhassan-aws:use-stable-version
zhassan-aws:use-stable-version
January 10, 2024 00:30 1m 11s
Use stable version to install Kani Kani Action Check #144: Pull request #52 opened by zhassan-aws
January 10, 2024 00:09 53s zhassan-aws:use-stable
zhassan-aws:use-stable
January 10, 2024 00:09 53s
Update to v0.38 with warning Kani Action Check #143: Pull request #51 synchronize by jaisnan
October 5, 2023 17:20 1m 20s jaisnan:Update-main-to-0.38
jaisnan:Update-main-to-0.38
October 5, 2023 17:20 1m 20s
Update to v0.38 with warning Kani Action Check #142: Pull request #51 opened by jaisnan
October 5, 2023 17:18 19s jaisnan:Update-main-to-0.38
jaisnan:Update-main-to-0.38
October 5, 2023 17:18 19s
Add notice to README on main Kani Action Check #141: Pull request #50 synchronize by jaisnan
September 28, 2023 15:12 1m 7s jaisnan:Add-notice-to-readme-main
jaisnan:Add-notice-to-readme-main
September 28, 2023 15:12 1m 7s
Add notice to README on main Kani Action Check #140: Pull request #50 synchronize by jaisnan
September 28, 2023 14:49 1m 7s jaisnan:Add-notice-to-readme-main
jaisnan:Add-notice-to-readme-main
September 28, 2023 14:49 1m 7s
Add notice to README on main Kani Action Check #139: Pull request #50 synchronize by jaisnan
September 28, 2023 14:04 1m 3s jaisnan:Add-notice-to-readme-main
jaisnan:Add-notice-to-readme-main
September 28, 2023 14:04 1m 3s
Add notice to README on main Kani Action Check #138: Pull request #50 synchronize by jaisnan
September 27, 2023 23:14 1m 18s jaisnan:Add-notice-to-readme-main
jaisnan:Add-notice-to-readme-main
September 27, 2023 23:14 1m 18s
Add notice to README on main Kani Action Check #137: Pull request #50 opened by jaisnan
September 27, 2023 22:18 1m 25s jaisnan:Add-notice-to-readme-main
jaisnan:Add-notice-to-readme-main
September 27, 2023 22:18 1m 25s
Decouple kani version from kani-github-action version Kani Action Check #136: Pull request #45 synchronize by jaisnan
September 26, 2023 16:24 1m 52s jaisnan:use-kani-latest-by-default
jaisnan:use-kani-latest-by-default
September 26, 2023 16:24 1m 52s
Decouple kani version from kani-github-action version Kani Action Check #135: Pull request #45 synchronize by jaisnan
September 26, 2023 14:55 1m 33s jaisnan:use-kani-latest-by-default
jaisnan:use-kani-latest-by-default
September 26, 2023 14:55 1m 33s
Decouple kani version from kani-github-action version Kani Action Check #134: Pull request #45 synchronize by jaisnan
September 21, 2023 18:07 1m 48s jaisnan:use-kani-latest-by-default
jaisnan:use-kani-latest-by-default
September 21, 2023 18:07 1m 48s
Decouple kani version from kani-github-action version Kani Action Check #133: Pull request #45 synchronize by jaisnan
September 21, 2023 02:02 1m 28s jaisnan:use-kani-latest-by-default
jaisnan:use-kani-latest-by-default
September 21, 2023 02:02 1m 28s
Decouple kani version from kani-github-action version Kani Action Check #132: Pull request #45 synchronize by jaisnan
September 21, 2023 01:58 18s jaisnan:use-kani-latest-by-default
jaisnan:use-kani-latest-by-default
September 21, 2023 01:58 18s
Decouple kani version from kani-github-action version Kani Action Check #131: Pull request #45 synchronize by jaisnan
September 20, 2023 01:35 1m 53s jaisnan:use-kani-latest-by-default
jaisnan:use-kani-latest-by-default
September 20, 2023 01:35 1m 53s
Testing CI Kani Action Check #130: Pull request #48 synchronize by jaisnan
September 20, 2023 01:17 1m 58s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 01:17 1m 58s
Testing CI Kani Action Check #129: Pull request #48 synchronize by jaisnan
September 20, 2023 01:14 1m 28s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 01:14 1m 28s
Testing CI Kani Action Check #128: Pull request #48 synchronize by jaisnan
September 20, 2023 01:10 1m 15s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 01:10 1m 15s
Testing CI Kani Action Check #127: Pull request #48 synchronize by jaisnan
September 20, 2023 01:08 1m 14s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 01:08 1m 14s
Testing CI Kani Action Check #126: Pull request #48 synchronize by jaisnan
September 20, 2023 01:05 1m 24s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 01:05 1m 24s
Testing CI Kani Action Check #125: Pull request #48 synchronize by jaisnan
September 20, 2023 01:02 1m 25s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 01:02 1m 25s
Testing CI Kani Action Check #124: Pull request #48 synchronize by jaisnan
September 20, 2023 01:01 1m 11s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 01:01 1m 11s
Testing CI Kani Action Check #123: Pull request #48 synchronize by jaisnan
September 20, 2023 00:56 1m 12s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:56 1m 12s