Skip to content

chore(ci): drop wildcard push trigger from fuzz + codeql#272

Merged
Cre-eD merged 1 commit into
mainfrom
chore/ci-drop-wildcard-push-fuzz-codeql
May 18, 2026
Merged

chore(ci): drop wildcard push trigger from fuzz + codeql#272
Cre-eD merged 1 commit into
mainfrom
chore/ci-drop-wildcard-push-fuzz-codeql