Skip to content

Issues: coq-community/coq-nix-toolbox

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

wish: fetchOcamlOverlay
#184 opened Dec 4, 2023 by gares
Evaluation is too slow
#125 opened Oct 4, 2022 by Zimmi48
Generate an action to perform updates periodically enhancement New feature or request
#112 opened Jul 9, 2022 by CohenCyril
Document how to setup Cachix
#102 opened Mar 24, 2022 by Zimmi48
cachedMake does not work if <nixpkgs> is not defined bug Something isn't working
#96 opened Feb 17, 2022 by Zimmi48
Regrouping action jobs into one enhancement New feature or request
#84 opened Nov 18, 2021 by CohenCyril
Disabling jobs only in CI.
#62 opened Sep 2, 2021 by Zimmi48
Rework documentation by following Diátaxis documentation Improvements or additions to documentation
#50 opened Jul 8, 2021 by Zimmi48
Duplicate all CI jobs to also run on macOS. enhancement New feature or request good first issue Good for newcomers
#48 opened Jul 1, 2021 by Zimmi48
2
3
attribute / shell-attribute confusion? question Further information is requested
#39 opened Jun 29, 2021 by Zimmi48
what is YOURPACKAGENAME? documentation Improvements or additions to documentation
#29 opened May 25, 2021 by gares
Add optional tools to nix-shell. enhancement New feature or request
#22 opened Apr 19, 2021 by Zimmi48
ProTip! Exclude everything labeled bug with -label:bug.