Ben Gamari authored Aug 24, 2020 and Marge Bot committed Sep 05, 2020

These are a significant burden on our CI resources and end up failing
quite often due to #18274. Here I drop the make jobs during
validaion; it is now run only during the nightly builds.