Skip to content

ci: Extract verify to Makefile#1514

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

ci: Extract verify to Makefile#1514
stefanprodan merged 1 commit intomainfrom
ci-improve

Commits

Commits on Sep 23, 2025