urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-19 08:32:39 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6967 from urbit/pkova/ci-again

Browse Source 
ci: catch khan errors in ci
This commit is contained in:
Pyry Kovanen 2024-04-16 15:10:53 +03:00 committed by GitHub
commit df83412d11
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
nix/test-fake-ship.nix
View File

@ -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
'';