diff --git a/.github/workflows/extra-tests.yml b/.github/workflows/extra-tests.yml index 7eb7807..e04bf11 100644 --- a/.github/workflows/extra-tests.yml +++ b/.github/workflows/extra-tests.yml @@ -1,4 +1,4 @@ -name: CI +name: extra-tests on: # Run CI against all pushes (direct commits, also merged PRs), Pull Requests push: