Publish GitHub pages only on push to master

Avoid draft documentation from being published.
This commit is contained in:
MattHag 2024-08-19 23:05:25 +02:00 committed by Peter F. Patel-Schneider
parent 64a9aac0d5
commit 48ff85ab94
1 changed files with 0 additions and 1 deletions

View File

@ -3,7 +3,6 @@ on:
push:
branches:
- master
- '*doc*'
permissions:
contents: read