Open ejgallego opened 2 years ago
Mainly warning removal + fixing the the @check dune target. Had this pending on my HD.
Closes #115
Seems CI has disappeared, thus need to resurrect it before we can merge this.
Mainly warning removal + fixing the the @check dune target. Had this pending on my HD.
Closes #115