-
Joachim Breitner authored
by only building, we can hopefully be in the build time limit, while still providing a bit of useful service, e.g. indicating early when GitHub pull requests (with seemingly innocent results) fail to build.
055d73c6
by only building, we can hopefully be in the build time limit, while still providing a bit of useful service, e.g. indicating early when GitHub pull requests (with seemingly innocent results) fail to build.