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

Update cachix actions in Nix CI. #120

Closed Zimmi48 closed 1 year ago

Zimmi48 commented 1 year ago

This does the same changes as https://github.com/coq-community/coq-nix-toolbox/pull/135. Since it was needed for Nix CI using the Coq Nix Toolbox directly, it is likely that this is also needed for users through the templates.