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
e1d950ad5b
builder-web
/
test
/
dune
4 lines
102 B
Text
Raw
Normal View
History
Unescape
Escape
Add Builder_db.User tests
2021-03-16 12:09:31 +00:00
(test
Rename Builder_db modules in bin/ and test/ They both depend on the Builder_db module in db/, and using the same name confuses Merlin (as well as myself sometimes).
2021-11-15 14:04:59 +00:00
(name test_builder_db)
Remove rresult
2021-10-20 09:10:43 +00:00
(libraries builder_db caqti.blocking alcotest mirage-crypto-rng.unix))
Copy permalink