Skip to content

Actions: tautschnig/kani

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow run results
195 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Limit --exclude to workspace packages Kani Format Check #187: Commit 309c2e6 pushed by tautschnig
October 5, 2023 15:41 3m 50s exclude-workspace-only
exclude-workspace-only
October 5, 2023 15:41 3m 50s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani Format Check #186: Commit 798bfe7 pushed by tautschnig
October 5, 2023 10:26 3m 56s update-toolchain
update-toolchain
October 5, 2023 10:26 3m 56s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani CI #186: Commit 798bfe7 pushed by tautschnig
October 5, 2023 10:26 1h 16m 19s update-toolchain
update-toolchain
October 5, 2023 10:26 1h 16m 19s
Merge remote-tracking branch 'origin/main' into update-toolchain Cargo Audit #186: Commit 798bfe7 pushed by tautschnig
October 5, 2023 10:26 1m 50s update-toolchain
update-toolchain
October 5, 2023 10:26 1m 50s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani CI #185: Commit 2ba3b24 pushed by tautschnig
October 5, 2023 08:44 1h 14m 38s update-toolchain
update-toolchain
October 5, 2023 08:44 1h 14m 38s
Merge remote-tracking branch 'origin/main' into update-toolchain Cargo Audit #185: Commit 2ba3b24 pushed by tautschnig
October 5, 2023 08:44 1m 55s update-toolchain
update-toolchain
October 5, 2023 08:44 1m 55s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani Format Check #185: Commit 2ba3b24 pushed by tautschnig
October 5, 2023 08:44 7m 24s update-toolchain
update-toolchain
October 5, 2023 08:44 7m 24s
Update changelog to cover additional changes Cargo Audit #184: Commit 5aa1167 pushed by tautschnig
October 5, 2023 08:29 1m 21s release-kani-0.38.0
release-kani-0.38.0
October 5, 2023 08:29 1m 21s
Update changelog to cover additional changes Kani CI #184: Commit 5aa1167 pushed by tautschnig
October 5, 2023 08:29 1h 18m 29s release-kani-0.38.0
release-kani-0.38.0
October 5, 2023 08:29 1h 18m 29s
Update changelog to cover additional changes Kani Format Check #184: Commit 5aa1167 pushed by tautschnig
October 5, 2023 08:29 5m 14s release-kani-0.38.0
release-kani-0.38.0
October 5, 2023 08:29 5m 14s
Attempt toolchain update Attempt toolchain update #328: Scheduled
October 5, 2023 02:35 3m 48s main
main
October 5, 2023 02:35 3m 48s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani Format Check #183: Commit 44eee0d pushed by tautschnig
October 4, 2023 21:49 5m 8s update-toolchain
update-toolchain
October 4, 2023 21:49 5m 8s
Merge remote-tracking branch 'origin/main' into update-toolchain Kani CI #183: Commit 44eee0d pushed by tautschnig
October 4, 2023 21:49 1h 11m 19s update-toolchain
update-toolchain
October 4, 2023 21:49 1h 11m 19s
Merge remote-tracking branch 'origin/main' into update-toolchain Cargo Audit #183: Commit 44eee0d pushed by tautschnig
October 4, 2023 21:49 1m 41s update-toolchain
update-toolchain
October 4, 2023 21:49 1m 41s
Merge branch 'main' into update-toolchain-2023-09-23 Cargo Audit #182: Commit c10f557 pushed by tautschnig
October 4, 2023 21:37 1m 32s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 21:37 1m 32s
Merge branch 'main' into update-toolchain-2023-09-23 Kani CI #182: Commit c10f557 pushed by tautschnig
October 4, 2023 21:37 1h 9m 17s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 21:37 1h 9m 17s
Merge branch 'main' into update-toolchain-2023-09-23 Kani Format Check #182: Commit c10f557 pushed by tautschnig
October 4, 2023 21:37 2m 57s update-toolchain-2023-09-23
update-toolchain-2023-09-23
October 4, 2023 21:37 2m 57s
Merge branch 'main' into future-clippy-warnings Cargo Audit #181: Commit 9765d3e pushed by tautschnig
October 4, 2023 20:18 1m 34s future-clippy-warnings
future-clippy-warnings
October 4, 2023 20:18 1m 34s
Merge branch 'main' into future-clippy-warnings Kani Format Check #181: Commit 9765d3e pushed by tautschnig
October 4, 2023 20:18 4m 11s future-clippy-warnings
future-clippy-warnings
October 4, 2023 20:18 4m 11s
Merge branch 'main' into future-clippy-warnings Kani CI #181: Commit 9765d3e pushed by tautschnig
October 4, 2023 20:18 1h 11m 41s future-clippy-warnings
future-clippy-warnings
October 4, 2023 20:18 1h 11m 41s
Sync changes Kani Format Check #180: Commit 2c10486 pushed by tautschnig
October 4, 2023 13:15 4m 30s fix-2705
fix-2705
October 4, 2023 13:15 4m 30s
Sync changes Kani CI #180: Commit 2c10486 pushed by tautschnig
October 4, 2023 13:15 1h 10m 58s fix-2705
fix-2705
October 4, 2023 13:15 1h 10m 58s
Sync changes Cargo Audit #180: Commit 2c10486 pushed by tautschnig
October 4, 2023 13:15 1m 29s fix-2705
fix-2705
October 4, 2023 13:15 1m 29s
Address clippy warnings Cargo Audit #179: Commit 24570ca pushed by tautschnig
October 4, 2023 12:10 1m 44s future-clippy-warnings
future-clippy-warnings
October 4, 2023 12:10 1m 44s
Address clippy warnings Kani CI #179: Commit 24570ca pushed by tautschnig
October 4, 2023 12:10 1h 16m 33s future-clippy-warnings
future-clippy-warnings
October 4, 2023 12:10 1h 16m 33s