‹ BackHN Continuity

Thread

AI coding has made CI a bottleneck, so we reworked ours to keep up

317 points · 408 comments · julian_digital

  1. rurban · · focus · HN ↗
    I also reworked ours to keep up:

    - self hosted github runners to skip the setup

    - improved the test runners massively. Everything in parallel C threads. Using prek, not pre-commit for the linters.

    - replace slow stupid unit-tests with formal verification, to test all cases, not just a few. 2m for esbmc

    Keep it under 5 min for fast feedback.

Open on Hacker News to reply ↗

Unofficial Hacker News client; not affiliated with Y Combinator.