Skip to content

Actions: jaisnan/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,263 workflow runs
1,263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove prints Cargo Deny #5: Commit e2891d2 pushed by jaisnan
November 8, 2024 20:02 1m 27s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 20:02 1m 27s
Remove prints Kani CI #500: Commit e2891d2 pushed by jaisnan
November 8, 2024 20:02 11m 19s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 20:02 11m 19s
Remove prints Kani Format Check #312: Commit e2891d2 pushed by jaisnan
November 8, 2024 20:02 2m 8s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 20:02 2m 8s
Add assert and function body Cargo Deny #4: Commit 407ee44 pushed by jaisnan
November 8, 2024 19:25 1m 37s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 19:25 1m 37s
Add assert and function body Kani CI #499: Commit 407ee44 pushed by jaisnan
November 8, 2024 19:25 11m 25s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 19:25 11m 25s
Add assert and function body Kani Format Check #311: Commit 407ee44 pushed by jaisnan
November 8, 2024 19:25 1m 51s turn-clause-to-contract
turn-clause-to-contract
November 8, 2024 19:25 1m 51s
Cargo fmt + clippy Kani CI #498: Commit cd53bcf pushed by jaisnan
August 28, 2024 16:37 42m 41s fix-toolchain-820
fix-toolchain-820
August 28, 2024 16:37 42m 41s
Cargo fmt + clippy Kani Format Check #310: Commit cd53bcf pushed by jaisnan
August 28, 2024 16:37 5m 29s fix-toolchain-820
fix-toolchain-820
August 28, 2024 16:37 5m 29s
Cargo fmt + clippy Cargo Deny #3: Commit cd53bcf pushed by jaisnan
August 28, 2024 16:37 1m 17s fix-toolchain-820
fix-toolchain-820
August 28, 2024 16:37 1m 17s
Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… Kani Format Check #309: Commit 9818fec pushed by jaisnan
August 28, 2024 12:20 2m 11s fix-toolchain-820
fix-toolchain-820
August 28, 2024 12:20 2m 11s
Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… Cargo Deny #2: Commit 9818fec pushed by jaisnan
August 28, 2024 12:20 1m 6s fix-toolchain-820
fix-toolchain-820
August 28, 2024 12:20 1m 6s
Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… Kani CI #497: Commit 9818fec pushed by jaisnan
August 28, 2024 12:20 42m 40s fix-toolchain-820
fix-toolchain-820
August 28, 2024 12:20 42m 40s
Merge branch 'main' into fix-toolchain-820 Kani CI #496: Commit f205511 pushed by jaisnan
August 27, 2024 20:19 56m 35s fix-toolchain-820
fix-toolchain-820
August 27, 2024 20:19 56m 35s
Merge branch 'main' into fix-toolchain-820 Kani Format Check #308: Commit f205511 pushed by jaisnan
August 27, 2024 20:19 2m 33s fix-toolchain-820
fix-toolchain-820
August 27, 2024 20:19 2m 33s
Merge branch 'main' into fix-toolchain-820 Cargo Deny #1: Commit f205511 pushed by jaisnan
August 27, 2024 20:19 1m 23s fix-toolchain-820
fix-toolchain-820
August 27, 2024 20:19 1m 23s
Upgrade to 8/27 and fix breaks in cargo Kani CI #495: Commit c8bfdb0 pushed by jaisnan
August 27, 2024 20:18 49m 14s fix-toolchain-820
fix-toolchain-820
August 27, 2024 20:18 49m 14s
Upgrade to 8/27 and fix breaks in cargo Cargo Audit #307: Commit c8bfdb0 pushed by jaisnan
August 27, 2024 20:18 1m 9s fix-toolchain-820
fix-toolchain-820
August 27, 2024 20:18 1m 9s
Upgrade to 8/27 and fix breaks in cargo Kani Format Check #307: Commit c8bfdb0 pushed by jaisnan
August 27, 2024 20:18 3m 19s fix-toolchain-820
fix-toolchain-820
August 27, 2024 20:18 3m 19s
Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… Cargo Audit #306: Commit 9cdca7f pushed by jaisnan
August 20, 2024 19:54 1m 1s fix-toolchain-820
fix-toolchain-820
August 20, 2024 19:54 1m 1s
Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… Kani Format Check #306: Commit 9cdca7f pushed by jaisnan
August 20, 2024 19:54 7m 34s fix-toolchain-820
fix-toolchain-820
August 20, 2024 19:54 7m 34s
Merge branch 'fix-toolchain-820' of https://github.com/jaisnan/kani i… Kani CI #494: Commit 9cdca7f pushed by jaisnan
August 20, 2024 19:54 27m 48s fix-toolchain-820
fix-toolchain-820
August 20, 2024 19:54 27m 48s
Merge branch 'main' into fix-toolchain-820 Cargo Audit #305: Commit c960770 pushed by jaisnan
August 20, 2024 19:52 1m 10s fix-toolchain-820
fix-toolchain-820
August 20, 2024 19:52 1m 10s
Merge branch 'main' into fix-toolchain-820 Kani Format Check #305: Commit c960770 pushed by jaisnan
August 20, 2024 19:52 3m 46s fix-toolchain-820
fix-toolchain-820
August 20, 2024 19:52 3m 46s
Merge branch 'main' into fix-toolchain-820 Kani CI #493: Commit c960770 pushed by jaisnan
August 20, 2024 19:52 33m 53s fix-toolchain-820
fix-toolchain-820
August 20, 2024 19:52 33m 53s
Upgrade toolchain to 08/20 Cargo Audit #304: Commit 6777e7c pushed by jaisnan
August 20, 2024 19:37 1m 12s fix-toolchain-820
fix-toolchain-820
August 20, 2024 19:37 1m 12s