Skip to content

Fix missing find_dependency(), CI#18

Merged
johguenther merged 4 commits into
masterfrom
guj/devel
Nov 10, 2025
Merged

Fix missing find_dependency(), CI#18
johguenther merged 4 commits into
masterfrom
guj/devel

Commits

Commits on Nov 10, 2025