Search results

[design] re-use GH actions templates

Status: Open.

#389 In rocq-community/coq-nix-toolbox;

· gares opened on Sep 16, 2025

Roadmap

Status: Open.

#359 In rocq-community/coq-nix-toolbox;

· Zimmi48 opened on Jun 24, 2025

wish: generate cancel-in-progress directive

Status: Open.

#269 In rocq-community/coq-nix-toolbox;

· gares opened on Oct 2, 2024

Take the checkPhase into account in CI runs

Status: Open.

#219 In rocq-community/coq-nix-toolbox;

· CohenCyril opened on May 28, 2024

wish: fetchOcamlOverlay

Status: Open.

#184 In rocq-community/coq-nix-toolbox;

· gares opened on Dec 4, 2023

updateNixToolBox is not documented in README

Status: Open.

#148 In rocq-community/coq-nix-toolbox;

· Zimmi48 opened on Jun 7, 2023

Consider using nix-quick-install in GitHub workflows.

Status: Open.

#133 In rocq-community/coq-nix-toolbox;

· Zimmi48 opened on Feb 12, 2023

Evaluation is too slow

Status: Open.

#125 In rocq-community/coq-nix-toolbox;

· Zimmi48 opened on Oct 4, 2022

Generate an action to perform updates periodically

enhancementNew feature or requestNew feature or request

Status: Open.

#112 In rocq-community/coq-nix-toolbox;

· CohenCyril opened on Jul 9, 2022

Document how to setup Cachix

Status: Open.

#102 In rocq-community/coq-nix-toolbox;

· Zimmi48 opened on Mar 24, 2022

cachedMake does not work if <nixpkgs> is not defined

bugSomething isn't workingSomething isn't working

Status: Open.

#96 In rocq-community/coq-nix-toolbox;

· Zimmi48 opened on Feb 17, 2022

Coq master builds fail using the simple CI workflow

Status: Open.

#95 In rocq-community/coq-nix-toolbox;

· palmskog opened on Feb 13, 2022