Remove formatting and linting from Jenkins
Remove formatting and linting from Jenkins

These are now being run on GitHub Actions so there's no point in running
them on Jenkins as well.

hypothesis/via,hypothesis/via,hypothesis/via