diff --git a/.github/workflows/docs_push.yml b/.github/workflows/docs_push.yml index ad787873..739489d5 100644 --- a/.github/workflows/docs_push.yml +++ b/.github/workflows/docs_push.yml @@ -1,4 +1,4 @@ -name: CI +name: "Build and publish docs" on: push: