Skip to content

upgrade criterion to 0.8 series#220

Merged
Lokathor merged 1 commit intoLokathor:mainfrom
alexanderkjall:upgrade-criterion
Apr 29, 2026
Merged

upgrade criterion to 0.8 series#220
Lokathor merged 1 commit intoLokathor:mainfrom
alexanderkjall:upgrade-criterion

Commits

Commits on Apr 13, 2026