diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index d5a88312d..e6ce25893 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,3 +1,4 @@ +# CI workflow — builds, tests, and gates merges to main name: CI on: