CI: unable to use Git.run

[Thegaram]

I was trying to run a CI workflow similar to this (taken from here):

let one_hour = 60. *. 60.

let make = Git.command ~logs ~label:"make" ~timeout:one_hour ~clone:true [
    [| "make"; "build" |];
    [| "make"; "test" |];
  ]

let my_test =
  Git.fetch_head local_repo >>= fun src ->
  Git.run make src >>= fun () ->
  Term.return "Tests succeeded"

But I am getting the error Command "make" "build" exited with status 127, suggesting make is unknown. But if I run make build on my console, everything works just fine. Are there any additional steps needed to make this work?

[talex5]

If you're running it inside a Docker container, you'll need to make sure that the container has make installed (edit the Dockerfile to install it).

[Thegaram]

Oops I totally forgot about this, thanks!