add github actions build workflow - #70

Open

jnavila wants to merge 7 commits into

feature/actions

Commits on Jul 27, 2026

add github actions build workflow
jnavila
committed
34937c5
remove badly placed [@@inline]
jnavila
committed
162ce23
fix error in Cmdliner
jnavila
committed
b1db652
format files
jnavila
committed
7329947
update dune recipes
jnavila
committed
ba5dd7e
Add .ocamlformat file to ignore version check
jnavila
committed
5001a5c

Commits on Jul 28, 2026

run dun promote on source code
jnavila
committed
dd7aeee