add dev branch

use dev branch as docs source until release
This commit is contained in:
Bastian Schroll 2022-05-24 10:27:23 +02:00 committed by GitHub
parent 22d122f096
commit 41d7f7b650
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -3,8 +3,8 @@ name: build_docs
on: on:
push: push:
branches: branches:
- master # - master
- feature/gh-pages - develop
jobs: jobs: