deploy docs only on master

This commit is contained in:
Ulf Gebhardt 2023-11-20 17:26:53 +01:00
parent a6fbc9fc6c
commit 43918b80e7
Signed by: ulfgebhardt
GPG Key ID: DA6B843E748679C9

View File

@ -1,6 +1,8 @@
name: "deploy:docs to github"
on: [push]
# TODO: master
on:
push:
branches:
- master
jobs:
build-and-deploy:
runs-on: ubuntu-latest