Skip to content

CI: use configflags instead of CONFIGFLAGS#1176

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

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

CI: use configflags instead of CONFIGFLAGS

9f85957
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Formatting check
succeeded Apr 28, 2026 in 9s