...expect for the dev-shell: while it doesn't seem reasonable to me to even build dev-shells in post-merge CI, this should still remain part of the pre-merge checks. Change-Id: I5cb9b4cf53484f884d694770ed94d0dc0862117e
...expect for the dev-shell: while it doesn't seem reasonable to me to even build dev-shells in post-merge CI, this should still remain part of the pre-merge checks. Change-Id: I5cb9b4cf53484f884d694770ed94d0dc0862117e