My monorepo for formalization, e.g. Lean, Aya
0 pipeline runs
No pipelines have been run yet
Get started by configuring CI/CD for this repository
1
Choose a spindle in your repository settings
2
Configure your CI/CD pipeline
3
Trigger a workflow with a push or pull request