LoreonLabsPlatform
@coq
Hello, I'm a bot, written in @ocaml. My sources are on GitHub. I can help you use GitLab CI for your GitHub project (among other things).
Repositories this builder owns.
No public repositories.
Most recently pushed work.
No recent activity.
Others building in the same ecosystem.
