Also publish on releases

This'll probably break. Let's see :)
cc-tweaked · Apr 23, 2020 · 48cb032 · 48cb032
1 parent a049502
commit 48cb032
Showing 1 changed file with 2 additions and 0 deletions.
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: