I tried to look at the bench script, but I could not figure out how to start a pipeline to compare tag V8.13+alpha and branch v8.13.
How can I do this?
in the script replace
new_coq_commit=$(git rev-parse HEAD^2)
old_coq_commit=$(git merge-base HEAD^1 $new_coq_commit)
by
new_coq_commit=$(git rev-parse v8.13)
old_coq_commit=$(git rev-parse V8.13+alpha)
thanks
unfortunately I get
fatal: ambiguous argument 'v8.13': unknown revision or path not in the working tree.
Use '--' to separate paths from revisions, like this:
'git <command> [<revision>...] -- [<file>...]'
Uploading artifacts for failed job
https://github.com/coq/coq/pull/13494
is it cloning my personal repo?
you can give it the full commit hash instead
eureka https://gitlab.com/coq/coq/-/jobs/877154092
FTR, the bench script installs a version of ocaml, but dune needs another, so we waste time compiling ocaml twice:
install ocaml-secondary-compiler 4.08.1-1 [required by ocamlfind-secondary]
yeah, it does the same on my machine
dune is not very friendly for people not willing to live on a bleeding edge
note that there are quite a few differences about perf between OCaml versions, so even if dune reinstalls its own variant of the compiler it's the regular one that is used for the bench
Yes, the regular one is used, the reinstall is a more a limitation of opam. Dune lives a bit on the bleeding edge as it aims to profit from new OCaml features, so for example when multicore lands in OCaml's trunk, Dune will be able to use after 3 OCaml versions.
Real problem is lack of build caching, which is not easy, tho I heard OPAM may get something
Last updated: Jun 09 2023 at 04:01 UTC