aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-unicoq.sh
AgeCommit message (Expand)Author
2020-06-15updated ci for unicoqbeta
2020-02-12Split unicoq out of ci-mtac2.sh (keeping 1 CI job)Gaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:07:26 +0000