Provide no-fail-tests option in CI build, so that it can be run after a failing build, publishing results to github.