From 2a4aafb408e60a5e29a246848630d6a5c8af4702 Mon Sep 17 00:00:00 2001
From: Laurens Kuiper <laurens.kuiper@cwi.nl>
Date: Mon, 27 Jan 2025 12:07:36 +0100
Subject: [PATCH] set correct clang format version

---
 .github/workflows/Java.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/Java.yml b/.github/workflows/Java.yml
index 7db850fa..2f9c247e 100644
--- a/.github/workflows/Java.yml
+++ b/.github/workflows/Java.yml
@@ -20,7 +20,9 @@ jobs:
           fetch-depth: 0
           ref: ${{ inputs.git_ref }}
 
-      - run: make format-check
+      - run: 
+          python3 -m pip install --user clang_format=11.0.1
+          make format-check
 
   java-linux-amd64:
     name: Java Linux (amd64)