I

iris-ci

This project contains some scripts and other files that are used by many Iris project for their CI

Name Last update
.gitignore Loading commit data...
ansi-colors.sh Loading commit data...
buildjob Loading commit data...
prepare-opam.sh Loading commit data...
ssh Loading commit data...
ssh_host_keys Loading commit data...