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

ci: add GitHub Actions workflow to run the build on PRs and main

26a4245
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar