chore: add push to main build type

closes #1305
This commit is contained in:
Arthur Meyre
2022-01-06 11:27:51 +01:00
parent a98483cddb
commit 198ac8f47b
2 changed files with 17 additions and 5 deletions

View File

@@ -36,6 +36,7 @@ env:
IS_PR: ${{ github.event_name == 'pull_request' }}
IS_WEEKLY: ${{ github.event_name == 'schedule' }}
IS_RELEASE: ${{ github.event_name == 'push' && startsWith(github.ref, 'refs/tags/') }}
IS_PUSH_TO_MAIN: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
jobs:
build-preflight-docker:
@@ -189,6 +190,8 @@ jobs:
BUILD_TYPE="weekly"
elif [[ "${IS_RELEASE}" == "true" ]]; then
BUILD_TYPE="release"
elif [[ "${IS_PUSH_TO_MAIN}" == "true" ]]; then
BUILD_TYPE="push_to_main"
else
echo "Unknown BUILD_TYPE! Aborting"
exit 1
@@ -303,9 +306,6 @@ jobs:
fail-fast: false
matrix: ${{ fromJSON(format('{{"include":{0}}}', needs.start-runner-linux.outputs.matrix)) }}
outputs:
report: ${{ steps.report.outputs.report || 'Did not run.' }}
steps:
- name: Checkout Code
uses: actions/checkout@ec3a7ce113134d7a93b817d10a8272cb61118579