Merge remote-tracking branch 'origin/main'

.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 }}

.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 [email protected]
+          git checkout linux
+          git merge origin/main --no-edit -m "Merged main branch on $(date +%F)"
+          git push origin linux
+