mirror of
https://github.com/urbit/shrub.git
synced 2024-11-24 04:58:08 +03:00
ci: catch khan errors in ci
This commit is contained in:
parent
3c33d25516
commit
9e374c3e15
@ -102,7 +102,7 @@ in pkgs.stdenvNoCC.mkDerivation {
|
||||
'';
|
||||
|
||||
checkPhase = ''
|
||||
if egrep "((FAILED|CRASHED|Failed)|warn:)" $out >/dev/null; then
|
||||
if egrep "((FAILED|CRASHED|Failed|[0 %avow 0 %noun 1])|warn:)" $out >/dev/null; then
|
||||
exit 1
|
||||
fi
|
||||
'';
|
||||
|
Loading…
Reference in New Issue
Block a user