This website requires JavaScript.
Explore
Help
Sign in
robur
/
builder-web
Watch
4
Star
0
Fork
You've already forked builder-web
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
527
commits
8
branches
2
tags
6.6
MiB
580a8830e3
Branches
Tags
No results found.
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