Trusted CI automation scripts for mathlib4.
This repository hosts scripts that support CI automation and reporting. These scripts are intended for GitHub workflows and bots, not for core Mathlib library development.
mathlib4 workflows should checkout this repository in a trusted path (for
example ci-tools/) and execute scripts from ci-tools/scripts/....
Python test suites live under tests/, one directory per script or composite action.
Run them all with pytest, or a single suite with pytest tests/<suite>. Each suite
also has a test_*.yml workflow that runs it whenever its sources or tests change.
Test file basenames must be unique across suites — see the comment in pytest.ini.
- PR/label/comment automation scripts
- Zulip reporting and emoji sync scripts
- dependency/update monitoring scripts
- nightly automation scripts
- commit verification scripts