Trying to get CI green - #269

Merged

mjp41 merged 12 commits into

daanx:masterfrom

mjp41:goingGreen

Sep 2, 2026

Commits on Sep 2, 2026

Alternative fix for lean mathlib.
mjp41
committed
ec4ebe8
Fix Bazel apt repository setup
mjp41
committed
469009c
Install Fedora static libstdc++ runtime
mjp41
committed
b6cd498
Install Bazelisk for Fedora tcmalloc builds
mjp41
committed
c4db9b0
Fix jemalloc build with recent libstdc++
mjp41
committed
34ef533
Fix hardened_malloc with recent libstdc++
mjp41
committed
609198b
Fix hardened_malloc parallel build variable
mjp41
committed
087b1b0
Pin Fedora and Alpine release branches
mjp41
committed
4c85760
Upgrade GitHub Actions to Node 24 releases
mjp41
committed
fdcd431
Pin Bazel 8 for tcmalloc compatibility
mjp41
committed
388fd72
Use sed for jemalloc compatibility fix
mjp41
committed
93f03ca
Use sed for hardened_malloc compatibility fix
mjp41
committed
755fdb6