Remove some pwds from the CI script
They just add noise, now.
This commit is contained in:
parent
6499c5b1c9
commit
918cff1f72
|
@ -171,12 +171,10 @@ channel() {
|
|||
|
||||
channel_run() {
|
||||
if channel_matches ; then
|
||||
pwd
|
||||
local the_cmd="$ $*"
|
||||
underline "$the_cmd"
|
||||
"$@"
|
||||
elif ! is_ci ; then
|
||||
pwd
|
||||
local cmd="$1"
|
||||
shift
|
||||
if [[ $cmd == cargo || $cmd == rustc ]] ; then
|
||||
|
|
Loading…
Reference in New Issue