diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 4cad6d84..cb9c3908 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -88,9 +88,9 @@ jobs: echo "Building $project for production..." cd "$project" sphinx-build -b html -j auto -q --keep-going \ - -D html_show_sourcelink=false \ - -D html_copy_source=false \ - . "../../_build/$project" 2>/dev/null || echo "Build failed for $project, continuing..." + -D html_show_sourcelink=0 \ + -D html_copy_source=0 \ + . "../../_build/$project" || echo "Build failed for $project, continuing..." ' cd .. diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index f3a40057..e3c53518 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -11,6 +11,15 @@ on: options: - patch - major + push: + branches: [main] + paths: + - "projects/**" + - "cli/**" + +concurrency: + group: "release" + cancel-in-progress: false permissions: contents: write @@ -75,7 +84,6 @@ jobs: name: Create GitHub Release runs-on: ubuntu-latest needs: [generate-version, build-docs] - if: github.event_name == 'workflow_dispatch' permissions: contents: write pull-requests: write