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