search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

[Nix Action] Use new extraPullNames option when we can. #108

Closed Zimmi48 closed 2 years ago

Zimmi48 commented 2 years ago

Follow-up of coq-community/coq-nix-toolbox#71 and coq-community/coq-nix-toolbox#72.

Not critical at all, but could speed things a little.

Note that we don't use this new option when an explicit list of Cachix names is provided in meta.yml because there is no way to map from the current representation in meta.yml to one where we separate the Cachix cache we push to from the extra caches without doing computations (which mustache doesn't support).

Zimmi48 commented 2 years ago

Testing at coq-community/aac-tactics#95