From b3395a125b089ce79367bbc0ed2a5d829426c304 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Bispo?= Date: Fri, 2 Aug 2024 16:40:46 +0100 Subject: [PATCH] Changes folder --- .github/workflows/ant-lara-2.0-legacy.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/ant-lara-2.0-legacy.yml b/.github/workflows/ant-lara-2.0-legacy.yml index f5ce33e..314c8cc 100644 --- a/.github/workflows/ant-lara-2.0-legacy.yml +++ b/.github/workflows/ant-lara-2.0-legacy.yml @@ -55,7 +55,6 @@ jobs: - name: Build with Ant run: | # Folders to where Z3 libraries might be copied - sudo chmod a+w /usr/java/packages/lib sudo chmod a+w /usr/lib64 sudo chmod a+w /lib64 sudo chmod a+w /lib