From 080b5b0753550f60a5a652baaf6d9dab3a2d8b2c Mon Sep 17 00:00:00 2001
From: Azat Abdullin <azat.aam@gmail.com>
Date: Wed, 17 Jan 2024 17:00:41 +0100
Subject: [PATCH] CI for jdk 17

---
 .github/workflows/jdk17-ci.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/workflows/jdk17-ci.yml

diff --git a/.github/workflows/jdk17-ci.yml b/.github/workflows/jdk17-ci.yml
new file mode 100644
index 000000000..a6967dcf9
--- /dev/null
+++ b/.github/workflows/jdk17-ci.yml
@@ -0,0 +1,25 @@
+name: JDK 17 CI
+
+on:
+  push:
+    branches: [ master ]
+  pull_request:
+    branches: [ master ]
+
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v1
+      - name: Set up JDK 17
+        uses: actions/setup-java@v1
+        with:
+          java-version: 17
+      - name: Build with Maven
+        run: mvn verify -Pfull-smt --file pom.xml -s .github/github-settings.xml
+        env:
+          GITHUB_ACTOR: vorpal-reseacher
+          GITHUB_TOKEN: ${{ secrets.ORG_GITHUB_TOKEN }}