Skip to content

Improve library build time by factoring arch extras and using BBLAST_TAC/pure_ss - #225

Merged
palmskog merged 3 commits into
masterfrom
readme-speedup
Nov 6, 2026
Merged

palmskog merged 3 commits into
masterfrom
readme-speedup

README.md update with links to holbuild and HOL4 tags

d053c37
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build (ubuntu-24.04, v5.9.2, 4.14.1, trindemossen-2-v9)
succeeded Nov 6, 2026 in 28m 5s