Skip to content

ci: Remove unnecessary creation of build directory#2867

Merged
mathbunnyru merged 3 commits intodevelopfrom
bthomee/semgrep
Dec 18, 2025
Merged

ci: Remove unnecessary creation of build directory#2867
mathbunnyru merged 3 commits intodevelopfrom
bthomee/semgrep