Deploy docs on main (#1892)

calyxir · Feb 4, 2024 · 3fa1f68 · 3fa1f68
1 parent e8a4aa1
commit 3fa1f68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -6,7 +6,7 @@ name: Docs website
 on:
   push:
     branches:
-      - master
+      - main
 
 jobs:
   playground: