diff --git a/.github/workflows/on-push-linux.yml b/.github/workflows/on-push-linux.yml new file mode 100644 index 000000000..6552258bb --- /dev/null +++ b/.github/workflows/on-push-linux.yml @@ -0,0 +1,25 @@ +name: Linux + +on: + workflow_dispatch: + push: + branches: + - linux + paths-ignore: [ 'Doc/**', 'Flights/**', 'Html/**', 'Images/**', 'Localdoc/**', 'Scenarios/**', 'Textures/**', 'Textures2/**'] + pull_request: + branches: + - linux + paths-ignore: [ 'Doc/**', 'Flights/**', 'Html/**', 'Images/**', 'Localdoc/**', 'Scenarios/**', 'Textures/**', 'Textures2/**'] + +jobs: + build: + name: Push + strategy: + fail-fast: false + matrix: + architecture: [x64] + os: [ubuntu-latest] + uses: ./.github/workflows/reusable-build.yml + with: + os: ${{ matrix.os }} + architecture: ${{ matrix.architecture }} diff --git a/.github/workflows/update-linux.yml b/.github/workflows/update-linux.yml new file mode 100644 index 000000000..59f4f35d3 --- /dev/null +++ b/.github/workflows/update-linux.yml @@ -0,0 +1,26 @@ +name: Update Linux branch +on: + workflow_dispatch: + push: + branches: ["main"] + +permissions: + contents: write + +jobs: + update: + name: Update 'linux' branch + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + fetch-depth: 0 + ref: linux + - name: Update branch + run: | + git config user.name github-actions + git config user.email github-actions@github.com + git checkout linux + git merge origin/main --no-edit -m "Merged main branch on $(date +%F)" + git push origin linux +