workflows: prepare for merge
This commit is contained in:
parent
0405949ec6
commit
b9bcbab130
2
.github/workflows/mdbook_docs.yml
vendored
2
.github/workflows/mdbook_docs.yml
vendored
|
@ -3,7 +3,7 @@ name: Deploy Docs to GitHub Pages
|
|||
on:
|
||||
push:
|
||||
branches:
|
||||
- doc
|
||||
- core
|
||||
|
||||
jobs:
|
||||
deploy:
|
||||
|
|
Loading…
Reference in a new issue