Add a specific CI job on which we can gate PRs. #335

Merged

ludfjig merged 1 commit intohyperlight-dev:mainfrom

ludfjig:join_ci_job

Mar 6, 2025

Commits on Mar 6, 2025

Add a specific CI job on which we can gate PRs. This is needed because gating on specific skippable jobs does not work when those jobs are skipped (for example during docs-only PRs)
ludfjig
committed