Meging dev branch into master

.github/workflows/build-jp5.yml → .github/workflows/build-jp502.yml

@@ -1,4 +1,4 @@
-name: C/C++ CI
+name: Build JP 5.0.2
 
 on:
   push:
@@ -8,16 +8,18 @@ on:
   pull_request:
     branches: ['**']
 
+permissions: read-all
+
 jobs:
   build:
 
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-latest
 
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 #v3
     - name: setup workspace
       run: yes | ./setup_workspace.sh 5.0.2
     - name: apply patches
-      run: git config --global user.email "builder@example.com" && git config --global user.name "builder" && ./apply_patches.sh apply 5.0.2
+      run: git config --global user.email "builder@example.com" && git config --global user.name "builder" && ./apply_patches.sh 5.0.2
     - name: build
       run: ./build_all.sh 5.0.2

.github/workflows/build-jp512.yml

@@ -0,0 +1,25 @@
+name: Build JP 5.1.2
+
+on:
+  push:
+    branches:
+    - master
+    - dev
+  pull_request:
+    branches: ['**']
+
+permissions: read-all
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 #v3
+    - name: setup workspace
+      run: yes | ./setup_workspace.sh 5.1.2
+    - name: apply patches
+      run: git config --global user.email "builder@example.com" && git config --global user.name "builder" && ./apply_patches.sh 5.1.2
+    - name: build
+      run: ./build_all.sh 5.1.2

.github/workflows/build-jp6.1.yml

@@ -0,0 +1,25 @@
+name: Build JP 6.1
+
+on:
+  push:
+    branches:
+    - master
+    - dev
+  pull_request:
+    branches: ['**']
+
+permissions: read-all
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 #v3
+    - name: setup workspace
+      run: yes | ./setup_workspace.sh 6.1
+    - name: apply patches
+      run: git config --global user.email "builder@example.com" && git config --global user.name "builder" && ./apply_patches.sh 6.1
+    - name: build
+      run: ./build_all.sh 6.1

.github/workflows/build-jp6.2.yml

@@ -0,0 +1,25 @@
+name: Build JP 6.2
+
+on:
+  push:
+    branches:
+    - master
+    - dev
+  pull_request:
+    branches: ['**']
+
+permissions: read-all
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 #v3
+    - name: setup workspace
+      run: yes | ./setup_workspace.sh 6.2
+    - name: apply patches
+      run: git config --global user.email "builder@example.com" && git config --global user.name "builder" && ./apply_patches.sh 6.2
+    - name: build
+      run: ./build_all.sh 6.2

.github/workflows/build-jp6.yml

@@ -0,0 +1,25 @@
+name: Build JP 6.0 
+
+on:
+  push:
+    branches:
+    - master
+    - dev
+  pull_request:
+    branches: ['**']
+
+permissions: read-all
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 #v3
+    - name: setup workspace
+      run: yes | ./setup_workspace.sh 6.0
+    - name: apply patches
+      run: git config --global user.email "builder@example.com" && git config --global user.name "builder" && ./apply_patches.sh 6.0
+    - name: build
+      run: ./build_all.sh 6.0