Merge branch 'develop' into setup-permissions

This commit is contained in:
Matthias
2022-04-28 14:51:33 +02:00
committed by GitHub
13 changed files with 64 additions and 49 deletions

View File

@@ -324,6 +324,8 @@ jobs:
notify-complete:
needs: [ build_linux, build_macos, build_windows, docs_check, mypy_version_check ]
runs-on: ubuntu-20.04
# Discord notification can't handle schedule events
if: (github.event_name != 'schedule')
permissions:
repository-projects: read
steps: