Gilles Peskine 600bb694ac Better information messages for quick checks
Call them "check" rather than "test" to distinguish them from tests
that build and run code, and for consistency with the component names.
2019-09-24 19:21:19 +02:00
..
2018-10-19 15:25:10 +01:00
2019-09-24 19:21:19 +02:00
2019-06-27 08:46:45 +02:00