mathlib-ci

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

Contents

• PR/label/comment automation scripts
• Zulip reporting and emoji sync scripts
• dependency/update monitoring scripts
• nightly automation scripts
• commit verification scripts