I tried running the CI for libre-chip/cpu - Libre-Chip.org locally on my desktop[1], I discovered that the problem is likely running out of memory because it likes to spawn a bunch of z3 processes that are using like 6GB of ram each.
Just clone the git repo and run: forgejo-runner exec -i node:21-bookworm↩︎
The CI server is becoming increasingly flakey -- it likes to lock up when under heavy load requiring me to manually force power-off and back on. I changed the CI VM to have only 3 cores to limit the load and I'm planning on switching it to running on my old desktop's hardware in about a week, that's the Ryzen 9 3900X 12 core with 32GB ram.
turns out the version of z3 in debian bookworm's packages is part of the problem where that version uses in excess of 10GB ram per process. I switched to building z3 from source using a much more recent version and that uses like 60-100MB ram for the same tasks.
I also added better caching of the built versions of dependencies, so it should start testing in about 2min of the CI starting (if the cache is still there) rather than the ~40min from before
Just finished switching it, now cpu's CI runs in 25min -- iirc about 60% as much time! (the formal proofs don't use all that many threads now that there's 24 available)