comby-tools/comby
1
1
Fork 0
mirror of https://github.com/comby-tools/comby.git synced 2024-10-05 17:17:35 +03:00
Code Issues Packages Projects Releases Wiki Activity
512 Commits 17 Branches 48 Tags 2.6 MiB
master
Commit Graph

5 Commits

Author SHA1 Message Date
Rijnard van Tonder
8ea31dc5a9 restore CI and coverage 2021-11-14 21:03:43 -08:00
Rijnard van Tonder
3f73d97eec
restore code coverage, add codecov (#243) 2021-02-21 22:06:01 -07:00
Rijnard van Tonder
2a76eec2a0
make bisect_ppx pin a soft dependency (#242) 2021-02-21 20:04:19 -07:00
Rijnard van Tonder
e8a7d9e625
Update opam and dependencies 2019-09-22 19:29:29 -04:00
Rijnard van Tonder
8d8fb7fc82
Restore coverage and benchmark in docker build 2019-06-06 16:34:13 -04:00