Skip to content

Update GHA CI workflows - #50

Merged
jmid merged 7 commits into
mainfrom
widen-ci
Sep 14, 2026
Merged

jmid merged 7 commits into
mainfrom
widen-ci

Don't exit immediately on a Nothing to do. failure

420c54d
Select commit
Loading
Failed to load commit list.