]> git.neil.brown.name Git - ocean/commit
projects / ocean / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b24e0b8) | patch
oceani-tests: perform coverage test last.
authorNeilBrown <neil@brown.name>
Fri, 12 Nov 2021 23:14:09 +0000 (10:14 +1100)
committerNeilBrown <neil@brown.name>
Sat, 13 Nov 2021 22:50:58 +0000 (09:50 +1100)
commitd8407db8126bfc5070fc2e76e936a62c7443b033
treedc5b3c092d0109c5c1d95255ac15681b6cf6a19etree | snapshot
parentb24e0b84da4cdd01999f87f132119083b2761b50commit | diff
oceani-tests: perform coverage test last.

I want to see valgrind test results even when I don't have full coverage
yet.  So move the coverage test last.

Signed-off-by: NeilBrown <neil@brown.name>
csrc/oceani-tests.mdc diff | blob | history
The Ocean Language Project