From 4b8c3ef78346c398fab9bfeee4a3af37b5e1cdaf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Pereira?= <joaopereira.19@gmail.com>
Date: Thu, 18 Apr 2024 00:01:21 +0200
Subject: [PATCH] enable moreJoins impure

---
 .github/workflows/gobra.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/gobra.yml b/.github/workflows/gobra.yml
index 53d4c6210..137fa6572 100644
--- a/.github/workflows/gobra.yml
+++ b/.github/workflows/gobra.yml
@@ -417,6 +417,7 @@ jobs:
           checkConsistency: ${{ env.checkConsistency }}
           parallelizeBranches: '1'
           conditionalizePermissions: '0'
+          moreJoins: 'impure'
           imageVersion: ${{ env.imageVersion }}
           mceMode: 'on'
           requireTriggers: ${{ env.requireTriggers }}