Currently everything but the prospector lint job fails, however having CI set up makes it easier to see what work remains for #524. Fixes #1467.