Skip to content

Actions: tautschnig/verify-rust-std

Actions

Kani

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kani.yml
162 workflow runs
162 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Track metrics for core and std crates Kani #68: Commit 8bfdd7c pushed by tautschnig
1h 29m 32s metrics-std
metrics-std
1h 29m 32s
Track metrics for core and std crates Kani #67: Commit 63a217b pushed by tautschnig
53m 45s metrics-std
metrics-std
53m 45s
Merge remote-tracking branch 'origin/main' into subtree/library Kani #66: Commit 5859114 pushed by tautschnig
1h 13m 49s main
main
1h 13m 49s
Extend workflow to include merge attempt Kani #65: Commit e425bf8 pushed by tautschnig
48m 45s main
main
48m 45s
Merge branch 'main' into automate-subtree-update Kani #64: Commit 46c8b34 pushed by tautschnig
47m 45s automate-subtree-update
automate-subtree-update
47m 45s
some fixes Kani #63: Commit e991fb0 pushed by thanhnguyen-aws
6h 0m 40s sync-2025-01-16
sync-2025-01-16
6h 0m 40s
single harness test Kani #62: Commit a18c494 pushed by thanhnguyen-aws
6h 0m 32s sync-2025-01-16
sync-2025-01-16
6h 0m 32s
fix format Kani #61: Commit 28233ff pushed by thanhnguyen-aws
6h 0m 36s sync-2025-01-16
sync-2025-01-16
6h 0m 36s
uncomment some contracts Kani #60: Commit 5e58f80 pushed by thanhnguyen-aws
6h 0m 37s sync-2025-01-16
sync-2025-01-16
6h 0m 37s
fix-compiler-errors Kani #59: Commit 0f2c036 pushed by thanhnguyen-aws
10m 36s sync-2025-01-16
sync-2025-01-16
10m 36s
Fix challenge 15 (SIMD) link and title Kani #58: Commit 5e31ab5 pushed by tautschnig
44m 14s fix-intrinsics-challenge
fix-intrinsics-challenge
44m 14s
Update toolchain to 2025-01-16 Kani #57: Commit 224c3d8 pushed by tautschnig
5m 39s sync-2025-01-16
sync-2025-01-16
5m 39s
Add link to Rust Foundation announcement Kani #56: Commit 2e84eaf pushed by tautschnig
3h 22m 46s foundation
foundation
3h 22m 46s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Kani #55: Commit 6582e1d pushed by tautschnig
3h 14m 34s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
3h 14m 34s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Kani #54: Commit 135cadc pushed by tautschnig
2h 43m 52s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
2h 43m 52s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Kani #53: Commit 7560486 pushed by tautschnig
2h 56m 16s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
2h 56m 16s
Add review guidelines Kani #52: Commit 24a627f pushed by tautschnig
3h 10m 52s review-guidelines
review-guidelines
3h 10m 52s
Cleanup stray comment Kani #51: Commit ec9c3d5 pushed by tautschnig
2h 49m 42s iter-cleanup
iter-cleanup
2h 49m 42s
Merge branch 'main' into safety-dep Kani #50: Commit a88f554 pushed by tautschnig
23m 17s safety-dep
safety-dep
23m 17s
Add annotations required by Kani Kani #49: Commit 027385a pushed by tautschnig
25m 18s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
25m 18s
Fix contract, harness still fails Kani #48: Commit def005e pushed by tautschnig
18m 26s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
18m 26s
Disable check_grow_impl as we cannot currently express the necessary … Kani #47: Commit d640ef6 pushed by tautschnig
18m 2s bedrock-library/alloc/src/alloc.rs
bedrock-library/alloc/src/alloc.rs
18m 2s
Fix contract (incomplete) Kani #46: Commit e880520 pushed by tautschnig
4m 8s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
4m 8s
Fix harnesses Kani #45: Commit 2ca4ee7 pushed by tautschnig
1h 55m 29s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
1h 55m 29s
Add safety preconditions to alloc/src/collections/binary_heap/mod.rs Kani #44: Commit 8e6b212 pushed by tautschnig
4m 21s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
4m 21s