Closed WardBrian closed 2 years ago
Removed function signatures from the items tested by dune runtest - these are instead tested by compilation in Jenkins
dune runtest
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the BSD 3-clause license (https://opensource.org/licenses/BSD-3-Clause)
My plan is to 1) let tests pass on this 2) Add a bogus signature to one of these files, make sure that tests fail in this case 3) Remove that and merge
@rok-cesnovar
Sounds like a great plan to me!
Submission Checklist
Release notes
Removed function signatures from the items tested by
dune runtest
- these are instead tested by compilation in JenkinsCopyright and Licensing
By submitting this pull request, the copyright holder is agreeing to license the submitted work under the BSD 3-clause license (https://opensource.org/licenses/BSD-3-Clause)