robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
463 commits 8 branches 2 tags 6.5 MiB
Commit graph

2 commits

Author SHA1 Message Date
Hannes Mehnert
e0bc795735 further CI fixes: require alcotest 1.2.0 (for check'), disable formatting (no .ocamlformat) 2023-09-18 10:52:02 +02:00
Reynir Björnsson
0a92bdae65 Initial commit 2020-12-04 18:10:21 +01:00