From 4cc6a05783b1909c6f3ad71a425270a33878ad07 Mon Sep 17 00:00:00 2001
From: Joao Esperancinha <jofisaes@gmail.com>
Date: Sun, 6 Aug 2023 13:33:15 +0200
Subject: [PATCH] Prints Java version in Circle CI

---
 .circleci/config.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index fac6230e..a561dc3f 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -31,6 +31,7 @@ jobs:
           name: Test
           command: export JAVA_HOME=/opt/jdk19 &&
             export PATH=$PATH:$JAVA_HOME/bin &&
+            java -version &&
             make b
 
       - save_cache: