Update nix-action to latest version of the new template.

coq-community / chapar

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

MIT License

32 stars 7 forks source link

Update nix-action to latest version of the new template. #24

Closed Zimmi48 closed 3 years ago

Zimmi48 commented 3 years ago

Thanks to your use of the new Nix setup in this project, I have realized that already being packaged in nixpkgs isn't actually a requirement for using this setup, as long as the project builds with the standard mechanism (coq_makefile with a _CoqProject) and has no extra dependencies. That being said, this means that only the Coq part of the project is built, not the OCaml part.

palmskog commented 3 years ago

Ah, this explains a few things (and answers my question in the manifesto repo).

For this project, it's perfectly fine to only build the Coq part, since it proved to be such a pain to build the OCaml part with coq_makefile that I switched to only do it with Dune.