diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 70f7bc0..777414d 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,8 +1,8 @@ name: docs +# Disabled: we don't have docs to deploy yet, so this only runs when +# triggered manually. Restore `push: branches: [main]` to re-enable. on: - push: - branches: [main] workflow_dispatch: permissions: