Skip to content

CI: use configflags instead of CONFIGFLAGS#925

Merged
james-d-mitchell merged 1 commit into
digraphs:mainfrom
fingolfin:mh/configflags
Apr 28, 2026
Merged

CI: use configflags instead of CONFIGFLAGS#925
james-d-mitchell merged 1 commit into
digraphs:mainfrom
fingolfin:mh/configflags

CI: use configflags instead of CONFIGFLAGS

1e041e1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
compile and upload manual
succeeded Apr 28, 2026 in 3m 20s