Sync + Stable Release #71
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Copyright (c) 2020 José Manuel Barroso Galindo <theypsilon@gmail.com> | |
| # Adapted from https://github.com/MiSTer-DB9/Main_MiSTer | |
| name: Sync + Stable Release | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| on: | |
| schedule: | |
| - cron: '0 6 * * *' | |
| workflow_dispatch: | |
| permissions: | |
| contents: write | |
| jobs: | |
| sync-and-release: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| fetch-depth: 0 | |
| - name: Sync upstream | |
| id: sync | |
| run: bash .github/sync_upstream.sh | |
| - name: Cache ARM toolchain | |
| uses: actions/cache@v4 | |
| with: | |
| path: gcc-arm-10.2-2020.11-x86_64-arm-none-linux-gnueabihf | |
| key: gcc-arm-10.2-2020.11 | |
| - name: Push master merge commit | |
| if: steps.sync.outputs.master_changed == 'true' | |
| run: git push origin master | |
| - name: Push stable merge commit | |
| if: steps.sync.outputs.stable_changed == 'true' | |
| run: git push origin stable | |
| # Unstable channel: upstream master HEAD + fork @ master (includes beta). | |
| - name: Build unstable release | |
| run: | | |
| git checkout master | |
| bash .github/build_unstable_release.sh | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| SKIP_EXISTING_RELEASE: true | |
| # Stable channel: upstream tagged release + fork @ stable (promoted only). | |
| - name: Build stable release | |
| run: | | |
| if ! git checkout stable 2>/dev/null; then | |
| echo "No stable branch yet; skipping stable build." | |
| exit 0 | |
| fi | |
| bash .github/build_release.sh | |
| env: | |
| GH_TOKEN: ${{ github.token }} | |
| SKIP_EXISTING_RELEASE: true |