Patrick Lewis 36d4d22fd4 fix(CI): add workaround for configure os (macos-10.15) (#3597)

2020-10-21 10:08:47 +02:00

..

docker

…

mac

fix(CI): add workaround for configure os (macos-10.15) (#3597)

2020-10-21 10:08:47 +02:00

ci-compile.sh

…

ci-error-check.sh

…

ci-import-db.sh

…

ci-install-modules.sh

…

ci-install.sh

…

ci-run-unit-tests.sh

…

ci-worldserver-dry-run.sh

…