ci-optimization

Here is 1 public repository matching this topic...

QSOLKCB / OPT

The point of this repository is simple: when a future project needs to go faster, use less memory, avoid redundant work, or shorten CI without weakening correctness, point the implementing agent here first.

ci ci-cd invariants lean4 ci-optimization

Updated Oct 1, 2026
Python

Add this topic to your repo

To associate your repository with the ci-optimization topic, visit your repo's landing page and select "manage topics."

Learn more