/ci/ default tip master
drwxr-xr-x [up]
-rw-r--r-- 2020-06-10 21:33 +0100 456 README.md
-rw-r--r-- 2020-06-10 21:33 +0100 2528 ci-common.sh
-rwxr-xr-x 2020-06-10 21:33 +0100 548 ci-pharo-benchmark.sh
-rw-r--r-- 2020-06-10 21:33 +0100 1512 ci-pharo-common.sh
-rwxr-xr-x 2020-06-10 21:33 +0100 788 ci-pharo-test.sh