Skip to content

ci: add GitHub Actions workflow enforcing the build gates#85

Merged
OmarAlJarrah merged 1 commit into
mainfrom
ci/add-github-actions
Jun 16, 2026
Merged

ci: add GitHub Actions workflow enforcing the build gates#85
OmarAlJarrah merged 1 commit into
mainfrom
ci/add-github-actions

Commits

Commits on Jun 15, 2026