Skip to content
Snippets Groups Projects
Commit dff79875 authored by Ralf Jung's avatar Ralf Jung
Browse files

new opam-based CI and build system

parent 846abf49
No related branches found
No related tags found
No related merge requests found
This commit is part of merge request !2. Comments created here will be created in the context of that merge request.
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment