Merge branch 'develop' into documentation

This commit is contained in:
fjosw 2021-11-07 20:52:50 +00:00
commit 67af5c8e96

View file

@ -3,7 +3,7 @@ name: docs
on:
push:
branches:
- feature/docs
- develop
jobs:
docs: