skip building doc on non-main branches

m4lvin · Jan 7, 2025 · b506ae1 · b506ae1
1 parent ec33e09
commit b506ae1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -46,6 +46,7 @@ jobs:
         run: make bml
 
       - name: Build documentation
+        if: github.ref == 'ref/head/main'
         run: make doc
 
       - name: Copy documentation to `home_page/docs`