Commit Graph

2 Commits (cc4f13b36944421c3c1f0b7c21cea2df40d7d07d)

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