Skip to content

Actions: RIOT-OS/rust-riot-sys

Actions

Formal checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build.rs: no inline of ws281x_prepare_transmission and ws281x_end_transmission Formal checks #86: Pull request #63 opened by fabian18
55s fabian18:pr/drivers_ws281x_config
fabian18:pr/drivers_ws281x_config
55s
ci: sync to codeberg Formal checks #85: Pull request #62 opened by AnnsAnns
53s AnnsAnns:main
AnnsAnns:main
53s
Fixes for C2Rust > 0.20 Formal checks #84: Pull request #60 synchronize by chrysn
52s c2rust-post-0.20
c2rust-post-0.20
52s
Fixes for C2Rust > 0.20 Formal checks #83: Pull request #60 synchronize by chrysn
53s c2rust-post-0.20
c2rust-post-0.20
53s
Fixes for C2Rust > 0.20 Formal checks #82: Pull request #60 synchronize by chrysn
56s c2rust-post-0.20
c2rust-post-0.20
56s
dep: Update bindgen to 0.72.0 Formal checks #81: Pull request #61 opened by chrysn
53s bindgen072
bindgen072
53s
Fixes for C2Rust > 0.20 Formal checks #80: Pull request #60 synchronize by chrysn
53s c2rust-post-0.20
c2rust-post-0.20
53s
Fixes for C2Rust > 0.20 Formal checks #79: Pull request #60 opened by chrysn
54s c2rust-post-0.20
c2rust-post-0.20
54s
dep: Update bindgen to 0.69 Formal checks #78: Pull request #47 synchronize by chrysn
53s bindgen-0.69
bindgen-0.69
53s
CI: Use compile_like_murdock instead of buildtest Formal checks #77: Pull request #59 synchronize by chrysn
52s test-without-buildtest
test-without-buildtest
52s
CI: Use compile_like_murdock instead of buildtest Formal checks #76: Pull request #59 opened by chrysn
49s test-without-buildtest
test-without-buildtest
49s
dep: Update bindgen to 0.69 Formal checks #75: Pull request #47 synchronize by chrysn
3m 31s bindgen-0.69
bindgen-0.69
3m 31s
Handle non-ciritcal-but-printed errors Formal checks #74: Pull request #58 synchronize by chrysn
56s silent-errors
silent-errors
56s
buildtest.yml: update links to RIOT examples Formal checks #73: Pull request #57 synchronize by mguetschow
59s mguetschow:examples-rename
mguetschow:examples-rename
59s
buildtest.yml: update links to RIOT examples Formal checks #72: Pull request #57 synchronize by mguetschow
1m 0s mguetschow:examples-rename
mguetschow:examples-rename
1m 0s