This is quite unexpected, the sequence of commands you used should normally work...
Is this an issue that you didn't have before the Dune switch?
I never tried to locally run CI before
Make sure you have an actual
time command. (I don't know how it could not be the case, but it could theoretically happen.)
$ \time Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose] [--portability] [--format=format] [--output=file] [--version] [--quiet] [--help] command [arg...] $ time real 0m0,000s user 0m0,000s sys 0m0,000s
(Notice the backslash before the command.)
\time is indeed not found,
time does stuff. What's the difference?
The first one is an actual command; the second one is a builtin from your shell.
Oook, in that case installing
time does make sense and indeed after I do so things start to work as expected
Is there a list of utilities needed to run CI? I found I also needed
It really depends a lot on the external project you are building. If you want the full list, the best strategy is to look into the Dockerfile used in CI.
FWIW, we also provide Nix tooling to get required dependencies automatically, but I'm working on making it more accessible.
remake, you do not have to install it beforehand, as it will be compiled on the fly (assuming you have a C++ compiler) and made available as
Last updated: Oct 16 2021 at 03:02 UTC