Skip to content

ci: try running against github CI - #2

Merged
thomasjm merged 1 commit into
mainfrom
github-ci
Aug 1, 2026
Merged

ci: try running against github CI#2
thomasjm merged 1 commit into
mainfrom
github-ci

ci: try running against github CI

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

Annotations

1 error and 1 warning
ci
succeeded Jul 31, 2026 in 9m 43s