Merge pull request #6588 from jepler/signal-errors-ci-fetch-deps
signal errors in ci_fetch_deps subprocesses
This commit is contained in:
commit
bad080a7bb
|
@ -43,11 +43,13 @@ port_deps = {
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
def run(title, command):
|
def run(title, command, check=True):
|
||||||
print("::group::" + title, flush=True)
|
print("::group::" + title, flush=True)
|
||||||
print(command, flush=True)
|
print(command, flush=True)
|
||||||
start = time.monotonic()
|
start = time.monotonic()
|
||||||
subprocess.run(shlex.split(command), stderr=subprocess.STDOUT)
|
try:
|
||||||
|
subprocess.run(shlex.split(command), stderr=subprocess.STDOUT, check=check)
|
||||||
|
finally:
|
||||||
print("Duration:", time.monotonic() - start, flush=True)
|
print("Duration:", time.monotonic() - start, flush=True)
|
||||||
print("::endgroup::", flush=True)
|
print("::endgroup::", flush=True)
|
||||||
|
|
||||||
|
@ -106,7 +108,11 @@ if submodules:
|
||||||
submodules = " ".join(submodules)
|
submodules = " ".join(submodules)
|
||||||
# This line will fail because the submodule's need different commits than the tip of the branch. We
|
# This line will fail because the submodule's need different commits than the tip of the branch. We
|
||||||
# fix it later.
|
# fix it later.
|
||||||
run("Init the submodules we'll need", f"git submodule update --init -N --depth 1 {submodules}")
|
run(
|
||||||
|
"Init the submodules we'll need",
|
||||||
|
f"git submodule update --init -N --depth 1 {submodules}",
|
||||||
|
check=False,
|
||||||
|
)
|
||||||
|
|
||||||
run(
|
run(
|
||||||
"Fetch the submodule sha",
|
"Fetch the submodule sha",
|
||||||
|
|
Loading…
Reference in New Issue