Skip to content

Actions: tautschnig/verify-rust-std

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
198 workflow runs
198 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into automate-subtree-update Run GOTO Transcoder (ESBMC) #1: Commit 46c8b34 pushed by tautschnig
February 19, 2025 18:49 14m 19s automate-subtree-update
automate-subtree-update
February 19, 2025 18:49 14m 19s
Merge branch 'main' into automate-subtree-update Rust Tests #62: Commit 46c8b34 pushed by tautschnig
February 19, 2025 18:49 7m 59s automate-subtree-update
automate-subtree-update
February 19, 2025 18:49 7m 59s
Merge branch 'main' into automate-subtree-update Kani #64: Commit 46c8b34 pushed by tautschnig
February 19, 2025 18:49 47m 45s automate-subtree-update
automate-subtree-update
February 19, 2025 18:49 47m 45s
Merge branch 'main' into automate-subtree-update Build Book #21: Commit 46c8b34 pushed by tautschnig
February 19, 2025 18:49 5m 51s automate-subtree-update
automate-subtree-update
February 19, 2025 18:49 5m 51s
some fixes Kani #63: Commit e991fb0 pushed by thanhnguyen-aws
February 18, 2025 17:49 6h 0m 40s sync-2025-01-16
sync-2025-01-16
February 18, 2025 17:49 6h 0m 40s
some fixes Rust Tests #61: Commit e991fb0 pushed by thanhnguyen-aws
February 18, 2025 17:49 5m 38s sync-2025-01-16
sync-2025-01-16
February 18, 2025 17:49 5m 38s
single harness test Kani #62: Commit a18c494 pushed by thanhnguyen-aws
February 17, 2025 22:18 6h 0m 32s sync-2025-01-16
sync-2025-01-16
February 17, 2025 22:18 6h 0m 32s
fix format Rust Tests #60: Commit 28233ff pushed by thanhnguyen-aws
February 14, 2025 17:54 8m 48s sync-2025-01-16
sync-2025-01-16
February 14, 2025 17:54 8m 48s
fix format Kani #61: Commit 28233ff pushed by thanhnguyen-aws
February 14, 2025 17:54 6h 0m 36s sync-2025-01-16
sync-2025-01-16
February 14, 2025 17:54 6h 0m 36s
uncomment some contracts Kani #60: Commit 5e58f80 pushed by thanhnguyen-aws
February 11, 2025 22:57 6h 0m 37s sync-2025-01-16
sync-2025-01-16
February 11, 2025 22:57 6h 0m 37s
uncomment some contracts Rust Tests #59: Commit 5e58f80 pushed by thanhnguyen-aws
February 11, 2025 22:57 4m 58s sync-2025-01-16
sync-2025-01-16
February 11, 2025 22:57 4m 58s
fix-compiler-errors Rust Tests #58: Commit 0f2c036 pushed by thanhnguyen-aws
February 11, 2025 22:42 4m 48s sync-2025-01-16
sync-2025-01-16
February 11, 2025 22:42 4m 48s
fix-compiler-errors Kani #59: Commit 0f2c036 pushed by thanhnguyen-aws
February 11, 2025 22:42 10m 36s sync-2025-01-16
sync-2025-01-16
February 11, 2025 22:42 10m 36s
Fix challenge 15 (SIMD) link and title Build Book #20: Commit 5e31ab5 pushed by tautschnig
January 24, 2025 09:11 5m 30s fix-intrinsics-challenge
fix-intrinsics-challenge
January 24, 2025 09:11 5m 30s
Fix challenge 15 (SIMD) link and title Kani #58: Commit 5e31ab5 pushed by tautschnig
January 24, 2025 09:11 44m 14s fix-intrinsics-challenge
fix-intrinsics-challenge
January 24, 2025 09:11 44m 14s
Update toolchain to 2025-01-16 Build Book #19: Commit 224c3d8 pushed by tautschnig
January 17, 2025 18:41 4m 30s sync-2025-01-16
sync-2025-01-16
January 17, 2025 18:41 4m 30s
Update toolchain to 2025-01-16 Kani #57: Commit 224c3d8 pushed by tautschnig
January 17, 2025 18:41 5m 39s sync-2025-01-16
sync-2025-01-16
January 17, 2025 18:41 5m 39s
Update toolchain to 2025-01-16 Rust Tests #57: Commit 224c3d8 pushed by tautschnig
January 17, 2025 18:41 4m 43s sync-2025-01-16
sync-2025-01-16
January 17, 2025 18:41 4m 43s
Add link to Rust Foundation announcement Rust Tests #56: Commit 2e84eaf pushed by tautschnig
December 16, 2024 14:57 7m 20s foundation
foundation
December 16, 2024 14:57 7m 20s
Add link to Rust Foundation announcement Kani #56: Commit 2e84eaf pushed by tautschnig
December 16, 2024 14:57 3h 22m 46s foundation
foundation
December 16, 2024 14:57 3h 22m 46s
Add link to Rust Foundation announcement Build Book #18: Commit 2e84eaf pushed by tautschnig
December 16, 2024 14:57 5m 53s foundation
foundation
December 16, 2024 14:57 5m 53s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Build Book #17: Commit 6582e1d pushed by tautschnig
December 13, 2024 09:59 4m 40s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
December 13, 2024 09:59 4m 40s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Kani #55: Commit 6582e1d pushed by tautschnig
December 13, 2024 09:59 3h 14m 34s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
December 13, 2024 09:59 3h 14m 34s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Rust Tests #55: Commit 6582e1d pushed by tautschnig
December 13, 2024 09:59 10m 34s bedrock-library/alloc/src/collections/binary_heap/mod.rs
bedrock-library/alloc/src/collections/binary_heap/mod.rs
December 13, 2024 09:59 10m 34s
Merge remote-tracking branch 'origin/main' into bedrock-library/alloc… Kani #54: Commit 135cadc pushed by tautschnig
December 13, 2024 09:58 2h 43m 52s bedrock-library/alloc/src/boxed/thin.rs
bedrock-library/alloc/src/boxed/thin.rs
December 13, 2024 09:58 2h 43m 52s