Merge branch 'mc-1.14.x' into mc-1.15.x

SquidDev · SquidDev · commit 3d7a81696dbe · 2020-04-23T10:58:30.000+01:00
diff --git a/.github/workflows/make-doc.yml b/.github/workflows/make-doc.yml
@@ -4,6 +4,8 @@ on:
   push:
     branches: [ master ]
     tags:
+  release:
+    types: [ published ]
 
 jobs:
   make_doc:
