Stream: committers/git-help
Topic: remote build taking long time
Eric Haas (Nov 07 2018 at 03:27):
The remote build is taking forever. Could there be a problem?
Josh Mandel (Nov 07 2018 at 03:34):
Could be -- can you point me to which PR is building slowly?
Josh Mandel (Nov 07 2018 at 03:37):
It doesn't look like https://github.com/HL7/fhir/pull/239 is actually building if that's the one you mean?
Josh Mandel (Nov 07 2018 at 03:38):
Can you push another commit to trigger a rebuild? I can't sign in to investigate from where I am right now.
Eric Haas (Nov 07 2018 at 03:59):
sure
Josh Mandel (Nov 07 2018 at 04:00):
Now actually building
Eric Haas (Nov 07 2018 at 05:47):
yep
Last updated: Apr 12 2022 at 19:14 UTC
