Merge pull request #1311 from urbit/fix-ci-merge-builds

fix monorepo merge builds in CI
2024-09-20 15:08:34 +03:00 · 2019-07-01 14:55:23 -07:00 · 2019-07-01 14:55:23 -07:00 · faa78d1fc7
commit faa78d1fc7
parent af4eabe2e7 68ec55535d
1 changed files with 0 additions and 7 deletions
--- a/sh/ci-tests
+++ b/sh/ci-tests
@ -9,13 +9,6 @@ then

 else

-    nix-build nix/ops       \
-              -A test       \
-              -A brass      \
-              --max-jobs 2  \
-              --no-out-link
-
    sh/test --arg debug true
-    sh/update-brass-pill

 fi