Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Issues
#6
Reenable regression tests in CI
This requires properly setting up a cache for HOL4 and the CakeML binary.