quint icon indicating copy to clipboard operation
quint copied to clipboard

Published 20 hours ago • verified publisher icon informalsystems

Test coverage reporting in CI

Open bugarela opened this issue 2 years ago • 0 comments

It would be nice to have test coverage reports on PRs since the early days of this project so we don't have to get back to old files to add coverage in the future.

bugarela avatar Mar 02 '22 11:03 bugarela