Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on AI coding has made CI a bottleneck, so we 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.
There are no comments on this comment yet.
- 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.