coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

verified publisher icon coq-community
→

Metadata

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

Results 45 coq-nix-toolbox issues
Sort by recently updated
recently updated
newest added

[design] re-use GH actions templates

13 comment

It seems one can use a template GH action from another repo: https://docs.github.com/en/actions/how-tos/reuse-automations/reuse-workflows What I really don't like of the nix CI is that: - I have huge generated files...

gares avatar gares

Test nixpkgs#436776

3 comment

see https://github.com/NixOS/nixpkgs/pull/436779#issuecomment-3248844387

stepbrobd avatar stepbrobd

WIP on putting a flake on top of the toolbox.

Zimmi48 avatar Zimmi48

Test rocqPackages.mathcomp: init at 2.4.0

1 comment

Testing https://github.com/NixOS/nixpkgs/pull/413917

proux01 avatar proux01

Roadmap

Draft issue of the Nix Toolbox roadmap being discussed at Rocq'n'share. 1. Switch to flakes (as a wrapper around the existing) - Use flake templates for the first step of...

Zimmi48 avatar Zimmi48

← Metadata

31
Stars
9
Forks
Watchers

Owner

verified publisher icon coq-community

Metadata

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

Back