diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index a24004d..c59b8ea 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -1,18 +1,9 @@ name: Deploy docs to GitHub Pages -# on: -# push: -# branches: ["devel", "main"] # TODO: Set to main only after release -# workflow_dispatch: on: push: - branches: - - main - - devel - pull_request: - branches: - - main - - devel + branches: ["devel", "main"] # TODO: Set to main only after release + workflow_dispatch: permissions: contents: read diff --git a/.github/workflows/static_analysis.yml b/.github/workflows/static_analysis.yml index e6282db..bf3f9b6 100644 --- a/.github/workflows/static_analysis.yml +++ b/.github/workflows/static_analysis.yml @@ -37,7 +37,7 @@ jobs: isort --check src/ isort --check tutorials/ - - name: Code formatting with prospector + - name: Code formatting with mypy continue-on-error: true run: | pip install mypy