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

restore celina's version of check_rustc.sh Rust Tests #83: Commit 03855ef pushed by carolynzech
December 13, 2024 02:12 29s chores-tidy
chores-tidy
December 13, 2024 02:12 29s
put upstream cd back Rust Tests #82: Commit fe9604e pushed by carolynzech
December 13, 2024 02:00 1m 9s chores-tidy
chores-tidy
December 13, 2024 02:00 1m 9s
Merge branch 'chores-tidy' of github.com:celinval/rust-dev into chore… Kani #74: Commit dd870e5 pushed by carolynzech
December 13, 2024 01:48 3h 5m 14s chores-tidy
chores-tidy
December 13, 2024 01:48 3h 5m 14s
Merge branch 'chores-tidy' of github.com:celinval/rust-dev into chore… Build Book #68: Commit dd870e5 pushed by carolynzech
December 13, 2024 01:48 5m 8s chores-tidy
chores-tidy
December 13, 2024 01:48 5m 8s
Merge branch 'chores-tidy' of github.com:celinval/rust-dev into chore… Rust Tests #81: Commit dd870e5 pushed by carolynzech
December 13, 2024 01:48 1m 3s chores-tidy
chores-tidy
December 13, 2024 01:48 1m 3s
Merge branch 'main' into chores-merge-queue Kani #73: Commit 685f2bc pushed by carolynzech
December 9, 2024 21:47 2h 54m 13s chores-merge-queue
chores-merge-queue
December 9, 2024 21:47 2h 54m 13s
Merge branch 'main' into chores-merge-queue Rust Tests #80: Commit 685f2bc pushed by carolynzech
December 9, 2024 21:47 6m 36s chores-merge-queue
chores-merge-queue
December 9, 2024 21:47 6m 36s
Merge branch 'main' into chores-merge-queue Kani #72: Commit ae2265a pushed by carolynzech
December 9, 2024 20:27 2h 50m 55s chores-merge-queue
chores-merge-queue
December 9, 2024 20:27 2h 50m 55s
Merge branch 'main' into chores-merge-queue Build Book #67: Commit ae2265a pushed by carolynzech
December 9, 2024 20:27 4m 18s chores-merge-queue
chores-merge-queue
December 9, 2024 20:27 4m 18s
Merge branch 'main' into chores-merge-queue Rust Tests #79: Commit ae2265a pushed by carolynzech
December 9, 2024 20:27 6m 56s chores-merge-queue
chores-merge-queue
December 9, 2024 20:27 6m 56s
Merge branch 'main' into verify-intrinsics Build Book #66: Commit e3dc274 pushed by tautschnig
December 6, 2024 23:25 4m 23s verify-intrinsics
verify-intrinsics
December 6, 2024 23:25 4m 23s
Merge branch 'main' into verify-intrinsics Kani #71: Commit e3dc274 pushed by tautschnig
December 6, 2024 23:25 2h 36m 16s verify-intrinsics
verify-intrinsics
December 6, 2024 23:25 2h 36m 16s
Merge branch 'main' into verify-intrinsics Rust Tests #78: Commit e3dc274 pushed by tautschnig
December 6, 2024 23:25 6m 33s verify-intrinsics
verify-intrinsics
December 6, 2024 23:25 6m 33s
Prepare repo for enabling merge queue Rust Tests #77: Commit 7ff4e6f pushed by celinval
December 6, 2024 22:26 6m 54s chores-merge-queue
chores-merge-queue
December 6, 2024 22:26 6m 54s
Prepare repo for enabling merge queue Build Book #65: Commit 7ff4e6f pushed by celinval
December 6, 2024 22:26 4m 23s chores-merge-queue
chores-merge-queue
December 6, 2024 22:26 4m 23s
Prepare repo for enabling merge queue Kani #70: Commit 7ff4e6f pushed by celinval
December 6, 2024 22:26 2h 12m 1s chores-merge-queue
chores-merge-queue
December 6, 2024 22:26 2h 12m 1s
Prepare repo for enabling merge queue Kani #69: Commit 66c4890 pushed by celinval
December 6, 2024 22:19 2h 15m 56s chores-merge-queue
chores-merge-queue
December 6, 2024 22:19 2h 15m 56s
Prepare repo for enabling merge queue Rust Tests #76: Commit 66c4890 pushed by celinval
December 6, 2024 22:19 6m 29s chores-merge-queue
chores-merge-queue
December 6, 2024 22:19 6m 29s
Prepare repo for enabling merge queue Build Book #64: Commit 66c4890 pushed by celinval
December 6, 2024 22:19 4m 23s chores-merge-queue
chores-merge-queue
December 6, 2024 22:19 4m 23s
Merge branch 'main' into verify-iter-2 Build Book #63: Commit f9d068f pushed by celinval
December 6, 2024 20:07 4m 20s verify-iter-2
verify-iter-2
December 6, 2024 20:07 4m 20s
Update doc/src/challenges/0002-intrinsics-memory.md Build Book #62: Commit e7f1e66 pushed by celinval
December 6, 2024 19:05 4m 34s verify-intrinsics
verify-intrinsics
December 6, 2024 19:05 4m 34s
Apply the changes to intrinsics module file Kani #68: Commit 7415c26 pushed by celinval
December 6, 2024 19:03 2h 13m 0s verify-intrinsics
verify-intrinsics
December 6, 2024 19:03 2h 13m 0s
Apply the changes to intrinsics module file Build Book #61: Commit 7415c26 pushed by celinval
December 6, 2024 19:03 4m 29s verify-intrinsics
verify-intrinsics
December 6, 2024 19:03 4m 29s
Apply the changes to intrinsics module file Rust Tests #75: Commit 7415c26 pushed by celinval
December 6, 2024 19:03 6m 34s verify-intrinsics
verify-intrinsics
December 6, 2024 19:03 6m 34s
Merge branch 'main' into verify-iter-2 Build Book #60: Commit 4d259e3 pushed by celinval
December 6, 2024 18:48 4m 31s verify-iter-2
verify-iter-2
December 6, 2024 18:48 4m 31s