Fix for stable branch push (#3619)

* Fix for stable branch push

* Ensure we don't update stable to an older release
This commit is contained in:
Oliver 2022-08-30 14:27:55 +10:00 committed by GitHub
parent 2392c8adee
commit c8e8991cf5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 18 additions and 7 deletions

View File

@ -105,10 +105,3 @@ jobs:
COSIGN_EXPERIMENTAL: "true"
run: cosign sign ${{ steps.meta.outputs.tags }}@${{
steps.build-and-push.outputs.digest }}
- name: Push to Stable Branch
uses: ad-m/github-push-action@9a46ba8d86d3171233e861a4351b1278a2805c83 # pin@master
if: env.stable_release == 'true' && github.event_name != 'pull_request'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: stable
force: true

View File

@ -6,6 +6,24 @@ on:
types: [ published ]
jobs:
stable:
runs-on: ubuntu-latest
steps:
- name: Checkout Code
uses: actions/checkout@7884fcad6b5d53d10323aee724dc68d8b9096a2e # pin@v2
- name: Version Check
run: |
pip install requests
python3 ci/version_check.py
- name: Push to Stable Branch
uses: ad-m/github-push-action@9a46ba8d86d3171233e861a4351b1278a2805c83 # pin@master
if: env.stable_release == 'true'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: stable
force: true
tweet:
runs-on: ubuntu-latest
steps: