Skip to content

Actions: model-checking/kani-github-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
170 workflow runs
170 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Testing CI Format Check #122: Pull request #48 synchronize by jaisnan
September 20, 2023 00:54 14s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:54 14s
Testing CI Kani Action Check #122: Pull request #48 synchronize by jaisnan
September 20, 2023 00:54 1m 21s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:54 1m 21s
Testing CI Kani Action Check #121: Pull request #48 synchronize by jaisnan
September 20, 2023 00:46 1m 24s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:46 1m 24s
Testing CI Format Check #121: Pull request #48 synchronize by jaisnan
September 20, 2023 00:46 20s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:46 20s
Testing CI Kani Action Check #120: Pull request #48 synchronize by jaisnan
September 20, 2023 00:38 1m 4s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:38 1m 4s
Testing CI Format Check #120: Pull request #48 synchronize by jaisnan
September 20, 2023 00:38 14s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:38 14s
Testing CI Format Check #119: Pull request #48 synchronize by jaisnan
September 20, 2023 00:36 13s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:36 13s
Testing CI Kani Action Check #119: Pull request #48 synchronize by jaisnan
September 20, 2023 00:36 1m 21s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:36 1m 21s
Testing CI Format Check #118: Pull request #48 synchronize by jaisnan
September 20, 2023 00:35 16s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:35 16s
Testing CI Kani Action Check #118: Pull request #48 synchronize by jaisnan
September 20, 2023 00:35 54s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:35 54s
Testing CI Kani Action Check #117: Pull request #48 synchronize by jaisnan
September 20, 2023 00:33 58s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:33 58s
Testing CI Format Check #117: Pull request #48 synchronize by jaisnan
September 20, 2023 00:33 19s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:33 19s
Testing CI Format Check #116: Pull request #48 synchronize by jaisnan
September 20, 2023 00:30 23s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:30 23s
Testing CI Kani Action Check #116: Pull request #48 synchronize by jaisnan
September 20, 2023 00:30 56s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:30 56s
Testing CI Kani Action Check #115: Pull request #48 synchronize by jaisnan
September 20, 2023 00:26 57s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:26 57s
Testing CI Format Check #115: Pull request #48 synchronize by jaisnan
September 20, 2023 00:26 17s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 20, 2023 00:26 17s
Update Kani version to 0.37.0 Format Check #114: Pull request #49 opened by remi-delmas-3000
September 20, 2023 00:12 20s remi-delmas-3000:bump-version-0.37.0
remi-delmas-3000:bump-version-0.37.0
September 20, 2023 00:12 20s
Update Kani version to 0.37.0 Kani Action Check #114: Pull request #49 opened by remi-delmas-3000
September 20, 2023 00:12 1m 8s remi-delmas-3000:bump-version-0.37.0
remi-delmas-3000:bump-version-0.37.0
September 20, 2023 00:12 1m 8s
Testing CI Kani Action Check #113: Pull request #48 synchronize by jaisnan
September 19, 2023 22:30 1m 29s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 19, 2023 22:30 1m 29s
Testing CI Format Check #113: Pull request #48 synchronize by jaisnan
September 19, 2023 22:30 20s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 19, 2023 22:30 20s
Testing CI Kani Action Check #112: Pull request #48 synchronize by jaisnan
September 19, 2023 22:29 25s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 19, 2023 22:29 25s
Testing CI Format Check #112: Pull request #48 synchronize by jaisnan
September 19, 2023 22:29 16s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 19, 2023 22:29 16s
Testing CI Format Check #111: Pull request #48 synchronize by jaisnan
September 19, 2023 22:28 23s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 19, 2023 22:28 23s
Testing CI Kani Action Check #111: Pull request #48 by jaisnan
September 19, 2023 22:28 Failure jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 19, 2023 22:28 Failure
Testing CI Format Check #110: Pull request #48 reopened by jaisnan
September 19, 2023 22:24 17s jaisnan:test-kani-latest-by-default
jaisnan:test-kani-latest-by-default
September 19, 2023 22:24 17s