Code

update install-nix-action@30#295

Code

Merged

CohenCyril merged 1 commit intocoq-community:mastercoq-community/coq-nix-toolbox:masterfrom CohenCyril:update-install-nixCohenCyril/coq-nix-toolbox:update-install-nixCopy head branch name to clipboardDec 6, 2024

+618-618

Commits

Commits on Dec 4, 2024

• update install-nix-action@

  CohenCyril

  committed
  93257b3

  Copy full SHA for 93257b3