diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2021-07-30 19:50:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-30 19:50:02 +0200 |
| commit | c4a295cb8d74225f70cc6c71ba0d6b56fb2d92eb (patch) | |
| tree | 646e2736ae4ac93e6be84217cec4da47baff5b9b /.github | |
| parent | cfddef5d7d265d2260aad2d6ea8595f8b660eb6a (diff) | |
| download | yosys-c4a295cb8d74225f70cc6c71ba0d6b56fb2d92eb.tar.gz yosys-c4a295cb8d74225f70cc6c71ba0d6b56fb2d92eb.tar.bz2 yosys-c4a295cb8d74225f70cc6c71ba0d6b56fb2d92eb.zip | |
Update version.yml
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/version.yml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.github/workflows/version.yml b/.github/workflows/version.yml index 0cd66875c..c6f4da30d 100644 --- a/.github/workflows/version.yml +++ b/.github/workflows/version.yml @@ -16,8 +16,11 @@ jobs: - name: Take last commit id: log run: echo "::set-output name=message::$(git log --no-merges -1 --oneline)" + - name: Take repository + id: repo + run: echo "::set-output name=message::$GITHUB_REPOSITORY" - name: Bump version - if: "!contains(steps.log.outputs.message, 'Bump version')" + if: "!contains(steps.log.outputs.message, 'Bump version') && contains(steps.repo.outputs.message, 'YosysHQ/yosys')" run: | make bumpversion git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com" @@ -25,7 +28,7 @@ jobs: git add Makefile git commit -m "Bump version" - name: Push changes # push the output folder to your repo - if: "!contains(steps.log.outputs.message, 'Bump version')" + if: "!contains(steps.log.outputs.message, 'Bump version') && contains(steps.repo.outputs.message, 'YosysHQ/yosys')" uses: ad-m/github-push-action@master with: github_token: ${{ secrets.GITHUB_TOKEN }} |