Add CI workflow.

Add a GitHub Action workflow to run the test suite upon every push to the master branch, and on every pull request targeted at the master branch. Also update the checkout and setup-java actions used in the publishing workflow.
protegeproject · May 16, 2024 · b2afd73 · b2afd73 · ykazakov · May 17, 2024
1 parent 85aa5a4
commit b2afd73
Show file tree

Hide file tree

Showing 2 changed files with 24 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,21 @@
+name: CI check
+
+on:
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+  workflow_dispatch:
+
+jobs:
+  publish:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Set up JDK/Maven
+        uses: actions/setup-java@v4
+        with:
+          java-version: '11'
+          distribution: 'adopt'
+      - name: Run test suite
+        run: mvn --batch-mode test
diff --git a/...ub/workflows/publish-to-maven-central.yml → .github/workflows/publish.yml b/...ub/workflows/publish-to-maven-central.yml → .github/workflows/publish.yml
@@ -9,9 +9,9 @@ jobs:
   publish:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - name: Set up Maven Central Repository
-        uses: actions/setup-java@v3
+      - uses: actions/checkout@v4
+      - name: Set up JDK/Maven
+        uses: actions/setup-java@v4
         with:
           java-version: '11'
           distribution: 'adopt'