Skip to content

Actions: RIOT-OS/rust-riot-sys

Actions

Formal checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce headers processed through C2Rust to minimum Formal checks #68: Pull request #55 synchronize by chrysn
January 7, 2025 23:19 58s c2rust-ondemand
c2rust-ondemand
January 7, 2025 23:19 58s
Reduce headers processed through C2Rust to minimum Formal checks #67: Pull request #55 opened by chrysn
January 7, 2025 23:07 1m 0s c2rust-ondemand
c2rust-ondemand
January 7, 2025 23:07 1m 0s
headers: Add ztimer64 Formal checks #66: Pull request #54 opened by chrysn
January 3, 2025 20:11 56s add-ztimer64
add-ztimer64
January 3, 2025 20:11 56s
build: Add more bindgen-Debug exceptions for nimble 1.8 Formal checks #65: Pull request #53 opened by chrysn
December 28, 2024 16:10 55s nimble-1.8-precautions
nimble-1.8-precautions
December 28, 2024 16:10 55s
headers: Add nimble_autoadv Formal checks #64: Pull request #52 opened by chrysn
December 23, 2024 01:27 43s nimble-autoadv
nimble-autoadv
December 23, 2024 01:27 43s
headers: Don't let C2Rust process xtimer Formal checks #63: Pull request #51 opened by chrysn
November 18, 2024 20:07 49s no-wrap-xtimer
no-wrap-xtimer
November 18, 2024 20:07 49s
Bump version Formal checks #62: Pull request #50 opened by chrysn
September 18, 2024 16:14 47s release-0.7.14
release-0.7.14
September 18, 2024 16:14 47s
headers: Add tiny_strerror Formal checks #61: Pull request #49 opened by chrysn
September 18, 2024 15:53 44s tinystrerror
tinystrerror
September 18, 2024 15:53 44s
dep: Update bindgen to 0.69 Formal checks #60: Pull request #47 synchronize by chrysn
September 16, 2024 16:11 1m 31s bindgen-0.69
bindgen-0.69
September 16, 2024 16:11 1m 31s
dep: Update bindgen to 0.69 Formal checks #59: Pull request #47 opened by chrysn
September 16, 2024 16:06 2m 47s bindgen-0.69
bindgen-0.69
September 16, 2024 16:06 2m 47s
Bump version to 0.7.13 Formal checks #58: Pull request #46 opened by chrysn
August 25, 2024 14:55 44s release-0.7.13
release-0.7.13
August 25, 2024 14:55 44s
LEDs: Expose presence Formal checks #57: Pull request #45 opened by chrysn
August 24, 2024 22:53 45s leds
leds
August 24, 2024 22:53 45s
Release 0.7.12 Formal checks #56: Pull request #44 opened by chrysn
March 20, 2024 06:04 3m 47s release-0.7.12
release-0.7.12
March 20, 2024 06:04 3m 47s
headers: Add hashes Formal checks #55: Pull request #43 synchronize by chrysn
March 12, 2024 10:08 45s add-hashes
add-hashes
March 12, 2024 10:08 45s
CI: Don't use nightly for fmt or readme Formal checks #54: Pull request #42 synchronize by chrysn
March 12, 2024 10:05 53s fix-ci
fix-ci
March 12, 2024 10:05 53s
CI: Don't use nightly for fmt or readme Formal checks #53: Pull request #42 synchronize by chrysn
March 12, 2024 10:04 52s fix-ci
fix-ci
March 12, 2024 10:04 52s
headers: Add hashes Formal checks #52: Pull request #43 opened by chrysn
March 12, 2024 10:00 50s add-hashes
add-hashes
March 12, 2024 10:00 50s
CI: Don't use nightly for fmt or readme Formal checks #51: Pull request #42 synchronize by chrysn
March 8, 2024 14:18 53s fix-ci
fix-ci
March 8, 2024 14:18 53s
CI: Don't use nightly for fmt or readme Formal checks #50: Pull request #42 opened by chrysn
March 8, 2024 14:16 23s fix-ci
fix-ci
March 8, 2024 14:16 23s
Release v0.7.11 Formal checks #49: Pull request #41 opened by chrysn
March 8, 2024 13:18 46s release
release
March 8, 2024 13:18 46s
Add workaround for VaList being generated in v(f)printf Formal checks #48: Pull request #40 opened by chrysn
February 5, 2024 12:07 1m 20s VaList-workaround
VaList-workaround
February 5, 2024 12:07 1m 20s
Small build system updates, make RIOT_USEMODULE optional Formal checks #47: Pull request #39 opened by chrysn
February 1, 2024 12:40 1m 20s optional-usemodule
optional-usemodule
February 1, 2024 12:40 1m 20s
Simpify building, don't links="riot-sys" Formal checks #46: Pull request #38 opened by chrysn
January 31, 2024 16:29 1m 14s build-updates
build-updates
January 31, 2024 16:29 1m 14s
Bump version to 0.7.10 Formal checks #45: Pull request #37 opened by chrysn
January 29, 2024 21:08 1m 12s v0.7.10
v0.7.10
January 29, 2024 21:08 1m 12s
build: Fix randomly missing -I entries Formal checks #44: Pull request #36 opened by chrysn
November 24, 2023 15:21 1m 17s fix-include-missing-in-first-entry
fix-include-missing-in-first-entry
November 24, 2023 15:21 1m 17s