Commit 745ad37b authored by Raymond Toy's avatar Raymond Toy
Browse files

Don't need to do a git clone; install /usr/bin/time too.

The runner already has the git repo checked out at $PWD, so we're
ready to go.

Try to install time so build.sh will run.
parent 38a3f48e
Pipeline #160 failed with stage
in 2 minutes and 12 seconds