mirror of
https://github.com/urbit/shrub.git
synced 2024-12-19 16:51:42 +03:00
ci: red checkmark if something fails to build
This commit is contained in:
parent
2accc050bc
commit
b8d7acc45c
@ -112,7 +112,7 @@ in pkgs.stdenvNoCC.mkDerivation {
|
||||
'';
|
||||
|
||||
checkPhase = ''
|
||||
if egrep "((FAILED|CRASHED|Failed)|warn:)" $out >/dev/null; then
|
||||
if egrep "((FAILED|CRASHED|Failed|error-building /ted)|warn:)" $out >/dev/null; then
|
||||
exit 1
|
||||
fi
|
||||
'';
|
||||
|
Loading…
Reference in New Issue
Block a user