chore: Use the "released" type of release instead of "published".

Apparently the latter doesn't work.
TokTok · Dec 25, 2021 · 6357686 · 6357686
1 parent b998d09
commit 6357686
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches: [master]
   release:
-    types: [published]
+    types: [released]
 
 jobs:
   hackage: