Skip to content

Actions: ferrous-systems/rust-exercises

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
678 workflow runs
678 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Exercise: validating data structures with Kani Build sample material #705: Pull request #154 synchronize by listochkin
4m 39s kani-linked-list
kani-linked-list
4m 39s
kani::any() can generate arrays Build sample material #704: Commit a942282 pushed by listochkin
4m 27s kani-linked-list
kani-linked-list
4m 27s
Exercise: validating data structures with Kani Build sample material #703: Pull request #154 synchronize by listochkin
4m 34s kani-linked-list
kani-linked-list
4m 34s
(pr-feedback) mani linked list Build sample material #702: Commit 5fc5d8d pushed by listochkin
4m 32s kani-linked-list
kani-linked-list
4m 32s
Exercise: validating data structures with Kani Build sample material #701: Pull request #154 synchronize by listochkin
4m 44s kani-linked-list
kani-linked-list
4m 44s
exercise: validating data structures with kani Build sample material #700: Commit 9980c1e pushed by listochkin
4m 45s kani-linked-list
kani-linked-list
4m 45s
Exercise: validating data structures with Kani Build sample material #699: Pull request #154 opened by listochkin
4m 31s kani-linked-list
kani-linked-list
4m 31s
exercise: validating data structures with kani Build sample material #698: Commit 534a5d5 pushed by listochkin
2m 13s kani-linked-list
kani-linked-list
2m 13s
Clippy fixes and clean ups. Build sample material #697: Commit f22b639 pushed by listochkin
4m 40s main
main
4m 40s
Cleaning up nRF52 code Build sample material #696: Pull request #152 synchronize by jonathanpallant
5m 57s fix-static-mut-again
fix-static-mut-again
5m 57s
Clippy fixes and clean ups. Build sample material #695: Commit 64b7beb pushed by jonathanpallant
6m 12s fix-static-mut-again
fix-static-mut-again
6m 12s
Cleaning up nRF52 code Build sample material #694: Pull request #152 synchronize by jonathanpallant
3m 55s fix-static-mut-again
fix-static-mut-again
3m 55s
Clippy fixes and clean ups. Build sample material #693: Commit 7e0a25e pushed by jonathanpallant
4m 4s fix-static-mut-again
fix-static-mut-again
4m 4s
Cleaning up nRF52 code Build sample material #692: Pull request #152 synchronize by jonathanpallant
4m 12s fix-static-mut-again
fix-static-mut-again
4m 12s
Formatting. Build sample material #691: Commit 14655c0 pushed by jonathanpallant
4m 30s fix-static-mut-again
fix-static-mut-again
4m 30s
Cleaning up nRF52 code Build sample material #690: Pull request #152 synchronize by jonathanpallant
5m 42s fix-static-mut-again
fix-static-mut-again
5m 42s
Remove redundant code. Build sample material #689: Commit 5f6eb6f pushed by jonathanpallant
5m 49s fix-static-mut-again
fix-static-mut-again
5m 49s
Cleaning up nRF52 code Build sample material #688: Pull request #152 synchronize by jonathanpallant
4m 5s fix-static-mut-again
fix-static-mut-again
4m 5s
Switch puzzle-fw to use RTIC as well Build sample material #687: Commit cdb517f pushed by jonathanpallant
4m 4s fix-static-mut-again
fix-static-mut-again
4m 4s
Cleaning up nRF52 code Build sample material #686: Pull request #152 synchronize by jonathanpallant
4m 8s fix-static-mut-again
fix-static-mut-again
4m 8s
Moved loopback-fw over to the RTIC version, on the dongle. Build sample material #685: Commit 7f15c3e pushed by jonathanpallant
4m 6s fix-static-mut-again
fix-static-mut-again
4m 6s
Cleaning up nRF52 code Build sample material #684: Pull request #152 synchronize by jonathanpallant
5m 2s fix-static-mut-again
fix-static-mut-again
5m 2s
loopback-fw-rtic now works. Build sample material #683: Commit 405380c pushed by jonathanpallant
4m 51s fix-static-mut-again
fix-static-mut-again
4m 51s
Cleaning up nRF52 code Build sample material #682: Pull request #152 synchronize by jonathanpallant
5m 1s fix-static-mut-again
fix-static-mut-again
5m 1s
Starting on RTIC version of loopback-fw. Build sample material #681: Commit 9d7a18a pushed by jonathanpallant
4m 45s fix-static-mut-again
fix-static-mut-again
4m 45s
ProTip! You can narrow down the results and go further in time using created:<2024-12-11 or the other filters available.