don't run manual doc publish on push
This commit is contained in:
parent
7b167dddac
commit
000b02fb7d
1 changed files with 0 additions and 3 deletions
3
.github/workflows/docs.yaml
vendored
3
.github/workflows/docs.yaml
vendored
|
|
@ -2,9 +2,6 @@ name: Manually publish docs
|
|||
|
||||
on:
|
||||
workflow_dispatch:
|
||||
push:
|
||||
branches:
|
||||
- main
|
||||
|
||||
jobs:
|
||||
docs:
|
||||
|
|
|
|||
Loading…
Reference in a new issue