Closed georgyo closed 1 year ago
Github CI was failing even when targeting the current head of main.
Fixes
build_test
bmake
MAKESYSPATH
Github CI was failing even when targeting the current head of main.
Fixes
build_test
tried executing dune at the root of the repo, but the repo root is not a dune project.bmake
does not set the requiredMAKESYSPATH
env variable. Relates to #460