Merging in and retiring `dev`

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Merging in and retiring `dev` #94

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

dev was a stopgap to keep bits of act development depending on travesty-0.5.1 out of master. That library has now gone upstream into OPAM, so I'ma close the branch and merge it back in.

(Doing this as a PRQ for traceability mostly.)

MattWindsor91 commented 5 years ago

CI failure is because the macOS backend ran out of memory. Well, it works for me on my Mac and for the Linux backend, so I'ma just ignore the horrendous fragility of OCaml CI in 2019 and just merge it in.