Skip to content

Rename job in GitHub workflow to clarify purpose of enforcing PRs fro…#8

Merged
okmsbun merged 2 commits intodevelopfrom
test
Feb 5, 2026
Merged

Rename job in GitHub workflow to clarify purpose of enforcing PRs fro…#8
okmsbun merged 2 commits intodevelopfrom
test