Issues · rocq-community/coq-nix-toolbox · GitHub

Labels Milestones New issue

[design] re-use GH actions templates

#389

· gares opened

on Sep 16, 2025

Roadmap

#359

· Zimmi48 opened

on Jun 24, 2025

wish: generate `cancel-in-progress` directive

#269

· gares opened

on Oct 2, 2024

Take the `checkPhase` into account in CI runs

#219

· CohenCyril opened

on May 28, 2024

wish: fetchOcamlOverlay

#184

· gares opened

on Dec 4, 2023

`updateNixToolBox` is not documented in README

#148

· Zimmi48 opened

on Jun 7, 2023

Consider using nix-quick-install in GitHub workflows.

#133

· Zimmi48 opened

on Feb 12, 2023

Evaluation is too slow

#125

· Zimmi48 opened

on Oct 4, 2022

Generate an action to perform updates periodically

#112

· CohenCyril opened

on Jul 9, 2022

Document how to setup Cachix

#102

· Zimmi48 opened

on Mar 24, 2022

`cachedMake` does not work if `<nixpkgs>` is not defined

#96

· Zimmi48 opened

on Feb 17, 2022

Coq master builds fail using the simple CI workflow

#95

· palmskog opened

on Feb 13, 2022