diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 9036eee29..6dc8a52d4 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,4 +1,5 @@ name: CI +# Runner benchmark variant: GitHub-hosted only. Not for merging. on: push: