Skip to content

Install ninja in the build image used by CircleCI.#1888

Merged
rshriram merged 1 commit intoistio:masterfrom
PiotrSikora:circleci_ninja
Jul 30, 2018
Merged

Install ninja in the build image used by CircleCI.#1888
rshriram merged 1 commit intoistio:masterfrom
PiotrSikora:circleci_ninja

Commits

Commits on Jul 26, 2018