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.
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.