Merge branch 'dev' into 1.16

Hendrix-Shen · Mar 13, 2022 · 0ce2442 · 0ce2442
2 parents 17eb55d + e72d41d
commit 0ce2442
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -73,7 +73,7 @@ jobs:
       matrix:
         java: [17]
         os: [ubuntu-latest]
-        branch: [1.16, 1.17, 1.18, 1.19]
+        branch: [1.15, 1.16, 1.17, 1.18, 1.19]
     runs-on: ${{ matrix.os }}
     steps:
       - name: Checkout the sources