Add gh pages update on push to main

since docs no longer depend on git tags it's safe to update them on every push to main
arriven · May 18, 2022 · 220de33 · 220de33
1 parent a3dc249
commit 220de33
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -3,6 +3,7 @@ name: PushToGithubPages
 on:
   push:
     tags: ["**"]
+    branches: ["main"]
 
 jobs:
   deploy: