Skip to content

Actions: tautschnig/kani

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,164 workflow runs
2,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly: Slow tests
Nightly: Slow tests #140: Scheduled
December 10, 2023 05:32 7m 19s main
December 10, 2023 05:32 7m 19s
Attempt toolchain update
Attempt toolchain update #394: Scheduled
December 10, 2023 02:39 2m 1s main
December 10, 2023 02:39 2m 1s
Nightly: CBMC Latest
Nightly: CBMC Latest #137: Scheduled
December 9, 2023 09:12 56m 28s main
December 9, 2023 09:12 56m 28s
Nightly: Slow tests
Nightly: Slow tests #139: Scheduled
December 9, 2023 05:32 7m 9s main
December 9, 2023 05:32 7m 9s
Attempt toolchain update
Attempt toolchain update #393: Scheduled
December 9, 2023 02:36 1m 16s main
December 9, 2023 02:36 1m 16s
Nightly: CBMC Latest
Nightly: CBMC Latest #136: Scheduled
December 8, 2023 09:14 45m 53s main
December 8, 2023 09:14 45m 53s
Nightly: Slow tests
Nightly: Slow tests #138: Scheduled
December 8, 2023 05:32 10m 44s main
December 8, 2023 05:32 10m 44s
Merge branch 'main' into toolchain-2023-12-03-manual
Cargo Audit #226: Commit 0ed32e4 pushed by celinval
December 8, 2023 03:54 1m 7s toolchain-2023-12-03-manual
December 8, 2023 03:54 1m 7s
Merge branch 'main' into toolchain-2023-12-03-manual
Kani CI #225: Commit 0ed32e4 pushed by celinval
December 8, 2023 03:54 38m 20s toolchain-2023-12-03-manual
December 8, 2023 03:54 38m 20s
Merge branch 'main' into toolchain-2023-12-03-manual
Kani Format Check #225: Commit 0ed32e4 pushed by celinval
December 8, 2023 03:54 2m 7s toolchain-2023-12-03-manual
December 8, 2023 03:54 2m 7s
Attempt toolchain update
Attempt toolchain update #392: Scheduled
December 8, 2023 02:39 2m 19s main
December 8, 2023 02:39 2m 19s
Regression now passes
Cargo Audit #225: Commit 9be3d1f pushed by celinval
December 8, 2023 01:51 1m 16s toolchain-2023-12-03-manual
December 8, 2023 01:51 1m 16s
Regression now passes
Kani Format Check #224: Commit 9be3d1f pushed by celinval
December 8, 2023 01:51 2m 21s toolchain-2023-12-03-manual
December 8, 2023 01:51 2m 21s
Regression now passes
Kani CI #224: Commit 9be3d1f pushed by celinval
December 8, 2023 01:51 35m 5s toolchain-2023-12-03-manual
December 8, 2023 01:51 35m 5s
Add more tests (simd_shuffle/simd_swizzle)
Kani CI #223: Commit fa92da2 pushed by adpaco-aws
December 7, 2023 22:25 26m 21s toolchain-2023-12-03-manual
December 7, 2023 22:25 26m 21s
Add more tests (simd_shuffle/simd_swizzle)
Cargo Audit #224: Commit fa92da2 pushed by adpaco-aws
December 7, 2023 22:25 1m 42s toolchain-2023-12-03-manual
December 7, 2023 22:25 1m 42s
Add more tests (simd_shuffle/simd_swizzle)
Kani Format Check #223: Commit fa92da2 pushed by adpaco-aws
December 7, 2023 22:25 2m 19s toolchain-2023-12-03-manual
December 7, 2023 22:25 2m 19s
Revert "Bump actions/labeler from 4 to 5 (#2917)"
Cargo Audit #223: Commit 9d535f8 pushed by tautschnig
December 7, 2023 16:24 1m 8s revert-labeler
December 7, 2023 16:24 1m 8s
Revert "Bump actions/labeler from 4 to 5 (#2917)"
Kani CI #222: Commit 9d535f8 pushed by tautschnig
December 7, 2023 16:24 38m 36s revert-labeler
December 7, 2023 16:24 38m 36s
Revert "Bump actions/labeler from 4 to 5 (#2917)"
Kani Format Check #222: Commit 9d535f8 pushed by tautschnig
December 7, 2023 16:24 2m 20s revert-labeler
December 7, 2023 16:24 2m 20s
Updated labeler GitHub action configuration to v5 format
Cargo Audit #222: Commit bfa4e0d pushed by tautschnig
December 7, 2023 16:15 1m 7s labeler-v5-config
December 7, 2023 16:15 1m 7s
Updated labeler GitHub action configuration to v5 format
Kani Format Check #221: Commit bfa4e0d pushed by tautschnig
December 7, 2023 16:15 2m 12s labeler-v5-config
December 7, 2023 16:15 2m 12s
Updated labeler GitHub action configuration to v5 format
Kani CI #221: Commit bfa4e0d pushed by tautschnig
December 7, 2023 16:15 28m 59s labeler-v5-config
December 7, 2023 16:15 28m 59s
Nightly: CBMC Latest
Nightly: CBMC Latest #135: Scheduled
December 7, 2023 09:14 45m 54s main
December 7, 2023 09:14 45m 54s
Nightly: Slow tests
Nightly: Slow tests #137: Scheduled
December 7, 2023 05:32 8m 54s main
December 7, 2023 05:32 8m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-12-07 or the other filters available.