Before merge, back to master branch to recognize changes to docs

This commit is contained in:
Mario Sarcher committed 2020-11-09 16:52:12 +01:00
1 parent 07ba30c233
commit 47e1b607ab
1 file changed
+1 -1
+1 -1
View File
@@ -2,7 +2,7 @@ name: Publish docs via GitHub Pages
on:
push:
branches:
- documentation-typedocs
- master
jobs:
build: