publish doc

Samoed · Samoed · commit 8b1b8db865b3 · 2024-12-17T16:05:20.000+03:00
diff --git a/.github/workflows/build-docs.yaml b/.github/workflows/build-docs.yaml
@@ -51,7 +51,7 @@ jobs:
 #          make docs
 #
       - name: build multiversion documentation
-        if: ${{ github.ref == 'refs/heads/dev' }}
+        # if: ${{ github.ref == 'refs/heads/dev' }}
         run: |
           make docs
 

Original file line number	Diff line number	Diff line change
`@@ -51,7 +51,7 @@ jobs:`
`51`	`51`	`# make docs`
`52`	`52`	`#`
`53`	`53`	`- name: build multiversion documentation`
`54`		`- if: ${{ github.ref == 'refs/heads/dev' }}`
	`54`	`+ # if: ${{ github.ref == 'refs/heads/dev' }}`
`55`	`55`	`run: \|`
`56`	`56`	`make docs`
`57`	`57`