Skip to content

chore: restore green CI on the current toolchain - #33

Merged
oboard merged 3 commits into
oboard:mainfrom
bobzhang:chore/toolchain-green
Sep 20, 2026
Merged

chore: restore green CI on the current toolchain#33
oboard merged 3 commits into
oboard:mainfrom
bobzhang:chore/toolchain-green

Merge branch 'main' into chore/toolchain-green

f113a54
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 notice
check
failed Sep 20, 2026 in 18s