Skip to content

Actions: OsirisRTOS/osiris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make queue implementation growable (#20) Osiris CI #136: Commit 34ca1d6 pushed by dominikw1
April 3, 2025 19:02 3m 56s main
main
April 3, 2025 19:02 3m 56s
Make queue implementation growable Osiris CI #135: Pull request #20 synchronize by dominikw1
April 3, 2025 18:07 3m 51s feat/growable_queue
feat/growable_queue
April 3, 2025 18:07 3m 51s
mem: add kani proof for growing queue Osiris CI #134: Commit b6a73b4 pushed by dominikw1
April 3, 2025 18:07 4m 4s feat/growable_queue
feat/growable_queue
April 3, 2025 18:07 4m 4s
Upgrade rust edition, remove cbindgen (#22) Osiris CI #133: Commit 084bdad pushed by thomasw04
April 3, 2025 13:01 18m 25s main
main
April 3, 2025 13:01 18m 25s
Make queue implementation growable Osiris CI #132: Pull request #20 synchronize by thomasw04
April 2, 2025 21:10 3m 5s feat/growable_queue
feat/growable_queue
April 2, 2025 21:10 3m 5s
fix: formatting Osiris CI #131: Commit daa65f9 pushed by thomasw04
April 2, 2025 21:10 3m 0s feat/growable_queue
feat/growable_queue
April 2, 2025 21:10 3m 0s
Make queue implementation growable Osiris CI #130: Pull request #20 synchronize by thomasw04
April 2, 2025 20:51 18m 1s feat/growable_queue
feat/growable_queue
April 2, 2025 20:51 18m 1s
revert: disable seccomp in devcontainer. Osiris CI #129: Commit 3974d18 pushed by thomasw04
April 2, 2025 20:51 17m 45s feat/growable_queue
feat/growable_queue
April 2, 2025 20:51 17m 45s
Upgrade rust edition, remove cbindgen Osiris CI #128: Pull request #22 opened by thomasw04
April 2, 2025 19:51 17m 53s upgrade/rust-edition
upgrade/rust-edition
April 2, 2025 19:51 17m 53s
revert the debugging changes. Osiris CI #127: Commit 99b3323 pushed by thomasw04
April 2, 2025 19:44 3m 39s upgrade/rust-edition
upgrade/rust-edition
April 2, 2025 19:44 3m 39s
remove: cbindgen Osiris CI #126: Commit acfa4cc pushed by thomasw04
April 2, 2025 19:37 3m 5s upgrade/rust-edition
upgrade/rust-edition
April 2, 2025 19:37 3m 5s
debugging. Osiris CI #125: Commit 26a7b99 pushed by thomasw04
March 31, 2025 21:52 3m 39s upgrade/rust-edition
upgrade/rust-edition
March 31, 2025 21:52 3m 39s
debugging. Osiris CI #124: Commit 552077a pushed by thomasw04
March 31, 2025 21:49 2m 31s upgrade/rust-edition
upgrade/rust-edition
March 31, 2025 21:49 2m 31s
check if the workspace is the problem. Osiris CI #123: Commit 1d0b94d pushed by thomasw04
March 31, 2025 21:43 2m 43s upgrade/rust-edition
upgrade/rust-edition
March 31, 2025 21:43 2m 43s
check if the workspace is the problem. Osiris CI #122: Commit 8200982 pushed by thomasw04
March 31, 2025 21:37 2m 42s upgrade/rust-edition
upgrade/rust-edition
March 31, 2025 21:37 2m 42s
fix: bindgen error reporting. Osiris CI #121: Commit f4211eb pushed by thomasw04
March 31, 2025 21:16 2m 44s upgrade/rust-edition
upgrade/rust-edition
March 31, 2025 21:16 2m 44s
fix: add cbindgen to devcontainer. Osiris CI #120: Commit 5c466a1 pushed by thomasw04
March 30, 2025 20:26 5m 5s upgrade/rust-edition
upgrade/rust-edition
March 30, 2025 20:26 5m 5s
fix: build.rs should panic. Osiris CI #119: Commit 0871255 pushed by thomasw04
March 30, 2025 20:17 2m 42s upgrade/rust-edition
upgrade/rust-edition
March 30, 2025 20:17 2m 42s
make binding gen error more verbose. Osiris CI #118: Commit bc090ce pushed by thomasw04
March 30, 2025 19:58 16m 1s upgrade/rust-edition
upgrade/rust-edition
March 30, 2025 19:58 16m 1s
Make queue implementation growable Osiris CI #117: Pull request #20 opened by dominikw1
March 17, 2025 08:38 2m 55s feat/growable_queue
feat/growable_queue
March 17, 2025 08:38 2m 55s
mem: more tests for queue Osiris CI #116: Commit f4a43cd pushed by dominikw1
March 17, 2025 08:37 2m 56s feat/growable_queue
feat/growable_queue
March 17, 2025 08:37 2m 56s
mem: Fix some bugs in growable queue Osiris CI #115: Commit 9f27958 pushed by dominikw1
March 14, 2025 13:01 3m 3s feat/growable_queue
feat/growable_queue
March 14, 2025 13:01 3m 3s
fix: devcontainer specifies a fixed rust version. Osiris CI #114: Commit 0d3ece5 pushed by thomasw04
March 13, 2025 22:22 2m 24s upgrade/rust-edition
upgrade/rust-edition
March 13, 2025 22:22 2m 24s
update: track latest commit of hal. Osiris CI #113: Commit e5bdff7 pushed by thomasw04
March 13, 2025 22:10 2m 2s upgrade/rust-edition
upgrade/rust-edition
March 13, 2025 22:10 2m 2s
upgrade to rust edition 2024. Osiris CI #112: Commit fc7c204 pushed by thomasw04
March 13, 2025 22:00 2m 12s upgrade/rust-edition
upgrade/rust-edition
March 13, 2025 22:00 2m 12s