From c17c1fd83391843b5464d7201ea834f312b3721b Mon Sep 17 00:00:00 2001
From: schlichtig <michael.schlichtig@uni-paderborn.de>
Date: Fri, 2 Aug 2024 17:24:37 +0200
Subject: [PATCH] Update cognicrypt.yml v3.1.2

---
 .github/workflows/cognicrypt.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/cognicrypt.yml b/.github/workflows/cognicrypt.yml
index bb24b5c..6f833a2 100644
--- a/.github/workflows/cognicrypt.yml
+++ b/.github/workflows/cognicrypt.yml
@@ -10,7 +10,7 @@ jobs:
       - name: Compile CamBech Cap
         run: CamBench_Cap/gradlew -p CamBench_Cap jar
       - name: Run CogniCrypt
-        uses: CROSSINGTUD/CryptoAnalysis@3.1.1
+        uses: CROSSINGTUD/CryptoAnalysis@3.1.2
         with:
           appPath: "CamBench_Cap/build/libs/CamBench_Cap.jar"
           basePath: "CamBench_Cap/src/main/java"