CI: Fix local repo property

Author: daniel-raffler

.github/workflows/ci.yml

@@ -89,7 +89,6 @@ jobs:
       - name: Add local Ivy repo
         run: |
           mkdir repository
-          echo "ivy.repo.url=file://${user.dir}/repository" >> build.properties
 
       #- name: Build Yices binaries
       #  run: |