From 72a689d95b2aab7fbda97ae53346fc4dd74bfd01 Mon Sep 17 00:00:00 2001 From: Catherine Date: Sat, 15 Jun 2024 04:00:05 +0100 Subject: [PATCH] CI: never upload packages or add releases for `.dev` versions. --- .github/workflows/main.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml index 5ff9a6443..2ebf0f373 100644 --- a/.github/workflows/main.yaml +++ b/.github/workflows/main.yaml @@ -186,7 +186,7 @@ jobs: folder: docs/ target-folder: docs/amaranth/latest/ - name: Publish release documentation - if: ${{ github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v') }} + if: ${{ github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v') && !contains(github.event.ref, 'dev') }} uses: JamesIves/github-pages-deploy-action@releases/v4 with: repository-name: amaranth-lang/amaranth-lang.github.io @@ -272,12 +272,12 @@ jobs: with: repository-url: https://test.pypi.org/legacy/ - name: Publish package to PyPI - if: ${{ github.repository == 'amaranth-lang/amaranth' && github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/') }} + if: ${{ github.repository == 'amaranth-lang/amaranth' && github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v') && !contains(github.event.ref, 'dev') }} uses: pypa/gh-action-pypi-publish@release/v1 publish-release: needs: publish-package - if: ${{ github.repository == 'amaranth-lang/amaranth' && github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/') }} + if: ${{ github.repository == 'amaranth-lang/amaranth' && github.event_name == 'push' && startsWith(github.event.ref, 'refs/tags/v') && !contains(github.event.ref, 'dev') }} runs-on: ubuntu-latest permissions: contents: write