Activity
chore(README): Add development status notice
chore(README): Add development status notice
feat(driver): Merge multiple files
feat(driver): Merge multiple files
Pull request merge
feat(driver): Merge multiple files
feat(driver): Merge multiple files
Force push
fix(ga): Fix dune not found
error when running make test
fix(ga): Fix
dune not found
error when running make test
Pull request merge
fix(ga): Fix dune not found
error when running make test
fix(ga): Fix
dune not found
error when running make test
fix(Makefile): Build the project before running the test suite
fix(Makefile): Build the project before running the test suite