diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 33f2576f27..d4b1409932 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,3 +1,5 @@ +name: CI + on: pull_request: push: