Skip to content

Actions: Remade-With-Rust/rusty_rtos_kernel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
kernel: ? materialises its error constants in the entry block -- -1… ci #57: Commit b7fc58f pushed by Ttimmahlax
40s main
main
40s
kernel: prove the owes index at the CALLER, not the callee -- -159,89… ci #56: Commit 25f91e8 pushed by Ttimmahlax
45s main
main
45s
kernel: the delayed list's index proof -- -262,232 Ir, -26 B, block_c… ci #55: Commit 1b0130d pushed by Ttimmahlax
49s main
main
49s
kernel: the event item's bound, proved where LLVM can use it -- -96,5… ci #54: Commit d5c31f5 pushed by Ttimmahlax
58s main
main
58s
kernel: queue_take_timed_out's caller argument was self.current -- … ci #53: Commit 2f93efd pushed by Ttimmahlax
1m 35s main
main
1m 35s
kernel: the blocking path's three 64-bit tick compares -- block_cycle… ci #52: Commit 56a4d33 pushed by Ttimmahlax
40s main
main
40s
kernel: prove the task index once in check_for_timeout -- -3,167 Ir, … ci #51: Commit 5363b0c pushed by Ttimmahlax
57s main
main
57s
kernel: check_for_timeout returns Option<NonZeroU64> -- -270,175 Ir, … ci #50: Commit 7b94813 pushed by Ttimmahlax
40s main
main
40s
kernel: delete current's generation load -- switch_select 48 -> 47 ci #49: Commit b854ebc pushed by Ttimmahlax
35s main
main
35s
kernel: truncate a wait to the tick width at the boundary, as C's typ… ci #48: Commit 4c3438e pushed by Ttimmahlax
33s main
main
33s
kernel: the tick was doing 64-bit arithmetic at a 32-bit tick width, … ci #47: Commit 0ae85b9 pushed by Ttimmahlax
45s main
main
45s
kernel: the slot stride was a power of two on rv32 only, -531,130 Ir ci #46: Commit 04b6336 pushed by Ttimmahlax
34s main
main
34s
kernel: flash campaign wins, and kernel.rs rebuilt after a truncation ci #45: Commit 69203ff pushed by Ttimmahlax
41s main
main
41s
github_actions in /. - Update #1588949103 Dependabot Updates #8: by dependabot Bot
36s main
main
36s
cargo in /. - Update #1588948958 Dependabot Updates #7: by dependabot Bot
34s main
main
34s
queue: the slot arena gets the free list the byte arena already had ci #44: Commit cc4a891 pushed by Ttimmahlax
37s main
main
37s
queue: give item storage back when it is the last allocation ci #43: Commit 94e5735 pushed by Ttimmahlax
36s main
main
36s
firmware: a C6 cycles cell, so K3's clause waits on hardware alone ci #42: Commit 71d82d5 pushed by Ttimmahlax
37s main
main
37s
docs: the priority trap that costs a board run, on both functions tha… ci #41: Commit 72c70ff pushed by Ttimmahlax
36s main
main
36s
lockfiles: the standalone resolution at 0.2.0 (H-07) ci #40: Commit eb82fe2 pushed by Ttimmahlax
1m 42s main
main
1m 42s
docs: the 22 hold at 100,000 ticks too, not just the pinned length ci #39: Commit 1c72a94 pushed by Ttimmahlax
1m 19s main
main
1m 19s
ci: add release-plz so a dependency wave can proceed through this repo ci #38: Pull request #2 opened by Ttimmahlax
16m 22s bootstrap/release-plz-2026-09
bootstrap/release-plz-2026-09
16m 22s
docs: 142 active installs ci #37: Commit c06ffff pushed by Ttimmahlax
12m 41s main
main
12m 41s
perf(kernel): a silent sink stops paying for task names, -35.5% of th… ci #36: Commit 8a2487b pushed by Ttimmahlax
47s main
main
47s
perf(kernel): a per-task "owes anything" hint, -3.97% ci #35: Commit 4f2c92d pushed by Ttimmahlax
53s main
main
53s