A hard learned lesson we had over at coreboot. Now all the projects we run CI for are heading towards some variant of `make what-jenkins-does` as in https://rev

A hard learned lesson we had over at coreboot. Now all the projects we run CI for are heading towards some variant of `make what-jenkins-does` as in https://review.coreboot.org/plugins/gitiles/coreboot/+/refs/heads/master/util/testing/Makefile.inc#93 https://review.coreboot.org/plugins/gitiles/coreboot/+/refs/...