Skip to content

Actions: celinval/rust-dev

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Final adjustments for new harnesses Build Book #38: Commit 87dc890 pushed by celinval
September 19, 2024 22:35 4m 10s verify-intrinsics
verify-intrinsics
September 19, 2024 22:35 4m 10s
Final adjustments for new harnesses Build Book #37: Commit b2eaef8 pushed by celinval
September 19, 2024 22:33 4m 15s verify-intrinsics
verify-intrinsics
September 19, 2024 22:33 4m 15s
A few adjustments Build Book #36: Commit 3cbe82e pushed by celinval
September 19, 2024 17:44 4m 18s slow-cex
slow-cex
September 19, 2024 17:44 4m 18s
Merge commit 'a01899fdc8ae' into sync-2024-07-16 Build Book #35: Commit 66a17e0 pushed by celinval
July 17, 2024 02:34 4m 36s sync-2024-07-16
sync-2024-07-16
July 17, 2024 02:34 4m 36s
Reapply repository changes to library files Build Book #34: Commit a70ad70 pushed by celinval
July 17, 2024 02:20 4m 56s chore-0039-subtree
chore-0039-subtree
July 17, 2024 02:20 4m 56s
Add a few intrinsics contracts Build Book #33: Commit d4aa09f pushed by celinval
July 16, 2024 03:37 4m 26s verify-intrinsics
verify-intrinsics
July 16, 2024 03:37 4m 26s
Add a few intrinsics contracts Build Book #32: Commit d6a8726 pushed by celinval
July 16, 2024 03:34 4m 32s verify-intrinsics
verify-intrinsics
July 16, 2024 03:34 4m 32s
Merge branch 'main' into challenge-0003-ptr-arith Build Book #31: Commit e4f13e5 pushed by celinval
July 3, 2024 20:34 4m 17s challenge-0003-ptr-arith
challenge-0003-ptr-arith
July 3, 2024 20:34 4m 17s
Merge branch 'main' into challenge-0003-ptr-arith Build Book #30: Commit 8a32992 pushed by celinval
July 3, 2024 17:25 4m 29s challenge-0003-ptr-arith
challenge-0003-ptr-arith
July 3, 2024 17:25 4m 29s
Update doc/src/challenges/0003-pointer-arithmentic.md Build Book #29: Commit fbac065 pushed by celinval
June 25, 2024 21:27 4m 15s challenge-0003-ptr-arith
challenge-0003-ptr-arith
June 25, 2024 21:27 4m 15s
Apply suggestions from code review Build Book #28: Commit 5d5fa0b pushed by celinval
June 25, 2024 21:14 4m 23s challenge-0003-ptr-arith
challenge-0003-ptr-arith
June 25, 2024 21:14 4m 23s
Add a new challenge about pointer arithmetic ops Build Book #27: Commit e1db022 pushed by celinval
June 24, 2024 18:11 4m 27s challenge-0003-ptr-arith
challenge-0003-ptr-arith
June 24, 2024 18:11 4m 27s
Add a new challenge about pointer arithmetic ops Build Book #26: Commit 9e66c5c pushed by celinval
June 24, 2024 18:08 5m 14s challenge-0003-ptr-arith
challenge-0003-ptr-arith
June 24, 2024 18:08 5m 14s
Add a new challenge about pointer arithmetic ops Build Book #25: Commit 18ca5e4 pushed by celinval
June 24, 2024 18:05 4m 35s challenge-0003-ptr-arith
challenge-0003-ptr-arith
June 24, 2024 18:05 4m 35s
Fix challenge numbers and move to challenges/ dir Build Book #24: Commit 5ec2ea9 pushed by celinval
June 20, 2024 22:33 4m 31s verify-0000-summary
verify-0000-summary
June 20, 2024 22:33 4m 31s
Fix challenge numbers and move to challenges/ dir Build Book #23: Commit fbfcf10 pushed by celinval
June 20, 2024 22:22 4m 25s verify-0000-summary
verify-0000-summary
June 20, 2024 22:22 4m 25s
Merge branch 'main' into verify-0000-swap Build Book #22: Commit 73e1173 pushed by celinval
June 12, 2024 15:51 4m 25s verify-0000-swap
verify-0000-swap
June 12, 2024 15:51 4m 25s
Add a few more contract and harness examples Build Book #21: Commit c49757e pushed by celinval
June 12, 2024 03:52 4m 32s verify-0000-swap
verify-0000-swap
June 12, 2024 03:52 4m 32s
Merge branch 'main' into verify-0000-mem Build Book #20: Commit be3f574 pushed by celinval
June 12, 2024 01:01 4m 34s verify-0000-mem
verify-0000-mem
June 12, 2024 01:01 4m 34s
Apply suggestions from code review Build Book #19: Commit ae7bffe pushed by celinval
June 11, 2024 17:28 4m 39s verify-0000-template
verify-0000-template
June 11, 2024 17:28 4m 39s
Apply suggestions from code review Build Book #18: Commit 77a8df3 pushed by celinval
June 10, 2024 18:51 4m 39s verify-0000-template
verify-0000-template
June 10, 2024 18:51 4m 39s
Add CI status badge and initial challenge template Build Book #17: Commit 392b20a pushed by celinval
June 9, 2024 23:26 4m 17s verify-0000-template
verify-0000-template
June 9, 2024 23:26 4m 17s
Add Rust tests and Kani workflow (#9) Build Book #16: Commit b8464d4 pushed by celinval
June 9, 2024 23:25 4m 17s verify-0000-template
verify-0000-template
June 9, 2024 23:25 4m 17s
Add Rust tests and Kani workflow Build Book #15: Commit 6134b8c pushed by celinval
June 7, 2024 23:52 4m 34s main
main
June 7, 2024 23:52 4m 34s
Add Rust tests and Kani workflow Build Book #14: Commit 4d387b5 pushed by celinval
June 7, 2024 23:24 7m 50s main
main
June 7, 2024 23:24 7m 50s