2 Commits (b5ce6bcc4d099d021f0f228a39ebb5a6f5bfb0fd)

Author SHA1 Message Date
Tobias Schmidt 2c433cdac3
Fix and simplify checkmetrics make target (#1731) 5 years ago
Matt Layher dcb31670d6 Makefile: add checkmetrics target, use in CI (#797) 7 years ago