Skip to content

Actions: tautschnig/kani

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add PR to changelog, respond to feedback
Kani CI #175: Commit 5d1d982 pushed by tautschnig
October 3, 2023 21:45 1h 19m 23s release-kani-0.38.0
October 3, 2023 21:45 1h 19m 23s
Add PR to changelog, respond to feedback
Kani Format Check #175: Commit 5d1d982 pushed by tautschnig
October 3, 2023 21:45 4m 13s release-kani-0.38.0
October 3, 2023 21:45 4m 13s
Add PR to changelog, respond to feedback
Cargo Audit #175: Commit 5d1d982 pushed by tautschnig
October 3, 2023 21:45 1m 38s release-kani-0.38.0
October 3, 2023 21:45 1m 38s
Address clippy warnings
Kani CI #174: Commit 6ee71f8 pushed by tautschnig
October 3, 2023 14:17 6h 0m 24s update-toolchain
October 3, 2023 14:17 6h 0m 24s
Address clippy warnings
Cargo Audit #174: Commit 6ee71f8 pushed by tautschnig
October 3, 2023 14:17 1m 31s update-toolchain
October 3, 2023 14:17 1m 31s
Address clippy warnings
Kani Format Check #174: Commit 6ee71f8 pushed by tautschnig
October 3, 2023 14:17 4m 9s update-toolchain
October 3, 2023 14:17 4m 9s
Update Rust toolchain to 2023-10-03
Kani CI #173: Commit 585e5d3 pushed by tautschnig
October 3, 2023 13:52 6h 0m 53s update-toolchain
October 3, 2023 13:52 6h 0m 53s
Update Rust toolchain to 2023-10-03
Kani Format Check #173: Commit 585e5d3 pushed by tautschnig
October 3, 2023 13:52 2m 12s update-toolchain
October 3, 2023 13:52 2m 12s
Update Rust toolchain to 2023-10-03
Cargo Audit #173: Commit 585e5d3 pushed by tautschnig
October 3, 2023 13:52 1m 28s update-toolchain
October 3, 2023 13:52 1m 28s
Attempt toolchain update
Attempt toolchain update #326: Scheduled
October 3, 2023 02:32 4m 15s main
October 3, 2023 02:32 4m 15s
CHANGELOG formatting: fix heading levels
Kani Format Check #172: Commit f1b420e pushed by tautschnig
October 2, 2023 11:20 3m 0s release-kani-0.38.0
October 2, 2023 11:20 3m 0s
CHANGELOG formatting: fix heading levels
Cargo Audit #172: Commit f1b420e pushed by tautschnig
October 2, 2023 11:20 1m 38s release-kani-0.38.0
October 2, 2023 11:20 1m 38s
CHANGELOG formatting: fix heading levels
Kani CI #172: Commit f1b420e pushed by tautschnig
October 2, 2023 11:20 1h 17m 11s release-kani-0.38.0
October 2, 2023 11:20 1h 17m 11s
Bump Kani version to 0.38.0
Kani CI #171: Commit ba2100e pushed by tautschnig
October 2, 2023 11:18 1h 11m 49s release-kani-0.38.0
October 2, 2023 11:18 1h 11m 49s
Bump Kani version to 0.38.0
Cargo Audit #171: Commit ba2100e pushed by tautschnig
October 2, 2023 11:18 1m 18s release-kani-0.38.0
October 2, 2023 11:18 1m 18s
Bump Kani version to 0.38.0
Kani Format Check #171: Commit ba2100e pushed by tautschnig
October 2, 2023 11:18 4m 14s release-kani-0.38.0
October 2, 2023 11:18 4m 14s
Update dependencies
Cargo Audit #170: Commit 8884a1f pushed by tautschnig
October 2, 2023 11:09 1m 40s update-deps2
October 2, 2023 11:09 1m 40s
Update dependencies
Kani Format Check #170: Commit 8884a1f pushed by tautschnig
October 2, 2023 11:09 5m 20s update-deps2
October 2, 2023 11:09 5m 20s
Update dependencies
Kani CI #170: Commit 8884a1f pushed by tautschnig
October 2, 2023 11:09 1h 10m 23s update-deps2
October 2, 2023 11:09 1h 10m 23s
Attempt toolchain update
Attempt toolchain update #325: Scheduled
October 2, 2023 02:32 4m 47s main
October 2, 2023 02:32 4m 47s
Attempt toolchain update
Attempt toolchain update #324: Scheduled
October 1, 2023 02:37 3m 35s main
October 1, 2023 02:37 3m 35s
Attempt toolchain update
Attempt toolchain update #323: Scheduled
September 30, 2023 02:31 4m 8s main
September 30, 2023 02:31 4m 8s
Attempt toolchain update
Attempt toolchain update #322: Scheduled
September 29, 2023 02:31 4m 0s main
September 29, 2023 02:31 4m 0s
Attempt toolchain update
Attempt toolchain update #321: Scheduled
September 28, 2023 02:31 5m 37s main
September 28, 2023 02:31 5m 37s
Attempt toolchain update
Attempt toolchain update #320: Scheduled
September 27, 2023 02:31 4m 1s main
September 27, 2023 02:31 4m 1s