Karl Palsson 10b63667b5 jenkins: publish github status always first
need a result first, before we (potentially fail) to publish tests
2020-09-27 13:44:38 +00:00
..