Skip to content

Actions: ferrous-systems/rust-exercises

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
487 workflow runs
487 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

make build run weekly on mondays, skip if in PR Build sample material #709: Commit ff84b03 pushed by listochkin
December 18, 2024 13:17 4m 26s main
main
December 18, 2024 13:17 4m 26s
make build run weekly on mondays, skip if in PR Build sample material #708: Pull request #155 opened by miguelraz
December 18, 2024 05:02 4m 38s weekly-cron
weekly-cron
December 18, 2024 05:02 4m 38s
make build run weekly on mondays, skip if in PR Build sample material #707: Commit 1a73311 pushed by miguelraz
December 18, 2024 05:01 4m 31s weekly-cron
weekly-cron
December 18, 2024 05:01 4m 31s
kani::any() can generate arrays Build sample material #706: Commit e360000 pushed by listochkin
December 13, 2024 15:43 4m 30s main
main
December 13, 2024 15:43 4m 30s
Exercise: validating data structures with Kani Build sample material #705: Pull request #154 synchronize by listochkin
December 13, 2024 15:27 4m 39s kani-linked-list
kani-linked-list
December 13, 2024 15:27 4m 39s
kani::any() can generate arrays Build sample material #704: Commit a942282 pushed by listochkin
December 13, 2024 15:27 4m 27s kani-linked-list
kani-linked-list
December 13, 2024 15:27 4m 27s
Exercise: validating data structures with Kani Build sample material #703: Pull request #154 synchronize by listochkin
December 13, 2024 11:08 4m 34s kani-linked-list
kani-linked-list
December 13, 2024 11:08 4m 34s
(pr-feedback) mani linked list Build sample material #702: Commit 5fc5d8d pushed by listochkin
December 13, 2024 11:08 4m 32s kani-linked-list
kani-linked-list
December 13, 2024 11:08 4m 32s
Exercise: validating data structures with Kani Build sample material #701: Pull request #154 synchronize by listochkin
December 13, 2024 02:32 4m 44s kani-linked-list
kani-linked-list
December 13, 2024 02:32 4m 44s
exercise: validating data structures with kani Build sample material #700: Commit 9980c1e pushed by listochkin
December 13, 2024 02:32 4m 45s kani-linked-list
kani-linked-list
December 13, 2024 02:32 4m 45s
Exercise: validating data structures with Kani Build sample material #699: Pull request #154 opened by listochkin
December 13, 2024 02:27 4m 31s kani-linked-list
kani-linked-list
December 13, 2024 02:27 4m 31s
exercise: validating data structures with kani Build sample material #698: Commit 534a5d5 pushed by listochkin
December 13, 2024 02:27 2m 13s kani-linked-list
kani-linked-list
December 13, 2024 02:27 2m 13s
Clippy fixes and clean ups. Build sample material #697: Commit f22b639 pushed by listochkin
December 12, 2024 14:40 4m 40s main
main
December 12, 2024 14:40 4m 40s
Cleaning up nRF52 code Build sample material #696: Pull request #152 synchronize by jonathanpallant
December 12, 2024 14:00 5m 57s fix-static-mut-again
fix-static-mut-again
December 12, 2024 14:00 5m 57s
Clippy fixes and clean ups. Build sample material #695: Commit 64b7beb pushed by jonathanpallant
December 12, 2024 14:00 6m 12s fix-static-mut-again
fix-static-mut-again
December 12, 2024 14:00 6m 12s
Cleaning up nRF52 code Build sample material #694: Pull request #152 synchronize by jonathanpallant
December 12, 2024 13:57 3m 55s fix-static-mut-again
fix-static-mut-again
December 12, 2024 13:57 3m 55s
Clippy fixes and clean ups. Build sample material #693: Commit 7e0a25e pushed by jonathanpallant
December 12, 2024 13:57 4m 4s fix-static-mut-again
fix-static-mut-again
December 12, 2024 13:57 4m 4s
Cleaning up nRF52 code Build sample material #692: Pull request #152 synchronize by jonathanpallant
December 12, 2024 12:46 4m 12s fix-static-mut-again
fix-static-mut-again
December 12, 2024 12:46 4m 12s
Formatting. Build sample material #691: Commit 14655c0 pushed by jonathanpallant
December 12, 2024 12:46 4m 30s fix-static-mut-again
fix-static-mut-again
December 12, 2024 12:46 4m 30s
Cleaning up nRF52 code Build sample material #690: Pull request #152 synchronize by jonathanpallant
December 12, 2024 12:39 5m 42s fix-static-mut-again
fix-static-mut-again
December 12, 2024 12:39 5m 42s
Remove redundant code. Build sample material #689: Commit 5f6eb6f pushed by jonathanpallant
December 12, 2024 12:39 5m 49s fix-static-mut-again
fix-static-mut-again
December 12, 2024 12:39 5m 49s
Cleaning up nRF52 code Build sample material #688: Pull request #152 synchronize by jonathanpallant
December 12, 2024 12:37 4m 5s fix-static-mut-again
fix-static-mut-again
December 12, 2024 12:37 4m 5s
Switch puzzle-fw to use RTIC as well Build sample material #687: Commit cdb517f pushed by jonathanpallant
December 12, 2024 12:37 4m 4s fix-static-mut-again
fix-static-mut-again
December 12, 2024 12:37 4m 4s
Cleaning up nRF52 code Build sample material #686: Pull request #152 synchronize by jonathanpallant
December 11, 2024 18:20 4m 8s fix-static-mut-again
fix-static-mut-again
December 11, 2024 18:20 4m 8s
Moved loopback-fw over to the RTIC version, on the dongle. Build sample material #685: Commit 7f15c3e pushed by jonathanpallant
December 11, 2024 18:20 4m 6s fix-static-mut-again
fix-static-mut-again
December 11, 2024 18:20 4m 6s