4 Commits

Author	SHA1	Message	Date
Arve Knudsen	f4d40224f2	CircleCI: Upgrade shellcheck to v0.7.1 and pin version (#23815) ... * CircleCI: Upgrade shellcheck to v0.7.1 and pin version Signed-off-by: Arve Knudsen <arve.knudsen@gmail.com>	2020-04-23 12:22:51 +02:00
Dominik Prokop	4d741ea387	Build: Collect frontend build time metric (#20254)	2019-11-08 12:48:32 +01:00
Oleg Gaidarenko	4b16cd6cc8	Build: Introduce shellcheck (#18081) ... * Build: introduce shellcheck Fixes #16198	2019-07-23 13:12:33 +03:00
Torkel Ödegaard	4f6fdd8665	Refactoring the ci metrics a bit more making it easier to re-use	2019-03-13 10:10:46 +01:00