From 86d8f85e3ccd947c844e4cdf48c5c26cfef65f2c Mon Sep 17 00:00:00 2001
From: Anton Romanov <a.romanov@ulstu.ru>
Date: Mon, 17 Feb 2025 16:43:45 +0400
Subject: [PATCH] #13 -- Fix jdk

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 0ee062b..a9717f4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
     agent any
+    tools {
+        jdk 'jdk-21'
+    }
     stages {
         stage('Build') {
             steps {