diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 12e45b8b..17e8b500 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,4 +1,3 @@ ---- name: Documentation on: push: