Infrastructure
The Infrastructure team is responsible for the development and maintenance of the infrastructure that supports the Rocq project and community.
Teams
Administration
The Administration team is responsible for the administration of the Rocq project organizations on GitHub, GitLab, and other platforms.
ROCQbot
The ROCQbot team is responsible for the development and maintenance of the Rocq development bot.
Continuous Integration and Benchmarking
The infrastructure to continuously build, test and benchmark the Rocq project, including compatibility with reverse dependencies.
Ali Caglayan
Maintainer (Benchmark infrastructure, CI)
Alizter
Maintainer (Windows)
MSoegtropIMC
Gaëtan Gilbert
Maintainer (Benchmark infrastructure, CI)
SkySkimmer
Théo Zimmermann
Maintainer (CI, Windows)
Zimmi48
Emilio Jesús Gallego Arias
Maintainer (CI)
ejgallego
Pierre-Marie Pédrot
Maintainer (Benchmark infrastructure)
ppedrot
Build infrastructure
The infrastructure used to build the Rocq project.
Test Suite
The test suite of the Rocq project.
Development Tools
The tools used by Rocq developers to work on the project.