dune ci: use nix for coq job

ci: use nix for coq job

Open emillon opened this issue 1 year ago • 4 comments

We have to override the nixpkgs definition to get coq-native.

Jun 19 '24 13:06 emillon

Before: 11m 21s Now: 8m 46s

Jun 19 '24 13:06 emillon

Great, thanks!

Jun 19 '24 13:06 ejgallego

Indeed Nix provides very good build times for Coq, it is used heavily in some Coq projects.

Jun 19 '24 13:06 ejgallego

Thanks. Do you know if some projects use nix to build coq-native? I had to define it in here so it's not cached at the moment.

Jun 19 '24 13:06 emillon

Not ideal but an improvement already so I'm going for it. cc @Alizter - if you know of a way to use coq-native from nix we can use it.

Aug 01 '24 13:08 emillon

@emillon Unfortunately there is no way to use Coq native from nixpkgs. The way you've done it seems fine to me.

Aug 01 '24 13:08 Alizter