Skip to content

Actions: celinval/rust-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
258 workflow runs
258 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Rust build and make MetadataPredicates public Kani #30: Commit 15086ea pushed by celinval
July 17, 2024 20:46 4m 6s verify-intrinsics
verify-intrinsics
July 17, 2024 20:46 4m 6s
Fix Rust build and make MetadataPredicates public Rust Tests #36: Commit 15086ea pushed by celinval
July 17, 2024 20:46 9m 37s verify-intrinsics
verify-intrinsics
July 17, 2024 20:46 9m 37s
Fix copy* contract to make it untyped Rust Tests #35: Commit ee88552 pushed by celinval
July 17, 2024 19:53 9m 35s verify-intrinsics
verify-intrinsics
July 17, 2024 19:53 9m 35s
Fix copy* contract to make it untyped Kani #29: Commit ee88552 pushed by celinval
July 17, 2024 19:53 4m 17s verify-intrinsics
verify-intrinsics
July 17, 2024 19:53 4m 17s
Merge commit 'a01899fdc8ae' into sync-2024-07-16 Kani #28: Commit 66a17e0 pushed by celinval
July 17, 2024 02:34 3m 41s sync-2024-07-16
sync-2024-07-16
July 17, 2024 02:34 3m 41s
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
Merge commit 'a01899fdc8ae' into sync-2024-07-16 Rust Tests #34: Commit 66a17e0 pushed by celinval
July 17, 2024 02:34 9m 39s sync-2024-07-16
sync-2024-07-16
July 17, 2024 02:34 9m 39s
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
Reapply repository changes to library files Kani #27: Commit a70ad70 pushed by celinval
July 17, 2024 02:20 4m 26s chore-0039-subtree
chore-0039-subtree
July 17, 2024 02:20 4m 26s
Reapply repository changes to library files Rust Tests #33: Commit a70ad70 pushed by celinval
July 17, 2024 02:20 13m 13s chore-0039-subtree
chore-0039-subtree
July 17, 2024 02:20 13m 13s
Fix copy* contract to make it untyped Kani #26: Commit c6f96e3 pushed by celinval
July 16, 2024 18:28 4m 37s verify-intrinsics
verify-intrinsics
July 16, 2024 18:28 4m 37s
Fix copy* contract to make it untyped Rust Tests #32: Commit c6f96e3 pushed by celinval
July 16, 2024 18:28 9m 15s verify-intrinsics
verify-intrinsics
July 16, 2024 18:28 9m 15s
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 Rust Tests #31: Commit d4aa09f pushed by celinval
July 16, 2024 03:37 9m 39s verify-intrinsics
verify-intrinsics
July 16, 2024 03:37 9m 39s
Add a few intrinsics contracts Kani #25: Commit d4aa09f pushed by celinval
July 16, 2024 03:37 4m 36s verify-intrinsics
verify-intrinsics
July 16, 2024 03:37 4m 36s
Add a few intrinsics contracts Kani #24: Commit d6a8726 pushed by celinval
July 16, 2024 03:34 4m 26s verify-intrinsics
verify-intrinsics
July 16, 2024 03:34 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
Add a few intrinsics contracts Rust Tests #30: Commit d6a8726 pushed by celinval
July 16, 2024 03:34 9m 33s verify-intrinsics
verify-intrinsics
July 16, 2024 03:34 9m 33s
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
Merge branch 'main' into challenge-0003-ptr-arith Rust Tests #29: Commit 8a32992 pushed by celinval
July 3, 2024 17:25 12m 1s challenge-0003-ptr-arith
challenge-0003-ptr-arith
July 3, 2024 17:25 12m 1s
Merge branch 'main' into challenge-0003-ptr-arith Kani #23: Commit 8a32992 pushed by celinval
July 3, 2024 17:25 3m 53s challenge-0003-ptr-arith
challenge-0003-ptr-arith
July 3, 2024 17:25 3m 53s
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