Build docs for master instead of dev

misje · May 11, 2024 · 171fbd0 · 171fbd0
1 parent ea958e7
commit 171fbd0
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -2,8 +2,7 @@ name: Build and publish docs
 on:
   push:
     branches:
-      # TODO: change to master:
-      - dev
+      - master
     paths:
       - .github/workflows/docs.yml
       - docs/source/**