]> ocean-lang.org Git - ocean/history - tools/mark-untested
code / ocean / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
oceani: replace some magic numbers with an enum.
[ocean] / tools / mark-untested
2021-11-09 NeilBrownmark-tested: don't fail if coverage is too low blob | commitdiff | raw
2021-11-08 NeilBrownmark-untested: improve filter blob | commitdiff | raw | diff to current
2021-11-08 NeilBrownoceani: improve test coverage blob | commitdiff | raw | diff to current
The Ocean Language Project