mirror of
https://github.com/urbit/shrub.git
synced 2024-11-23 20:26:54 +03:00
ci: fix ci nonsense
This commit is contained in:
parent
3197f1bb0e
commit
f7ca9d161e
@ -102,7 +102,7 @@ in pkgs.stdenvNoCC.mkDerivation {
|
||||
'';
|
||||
|
||||
checkPhase = ''
|
||||
if egrep "((FAILED|CRASHED|Failed|[0 %avow 0 %noun 1])|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