Skip to content

ci: Extract verify to Makefile#1307

Merged
stefanprodan merged 1 commit into
mainfrom
ci-improve
Sep 23, 2025
Merged

ci: Extract verify to Makefile#1307
stefanprodan merged 1 commit into
mainfrom
ci-improve

Commits

Commits on Sep 23, 2025