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.

Sign up for GitHub

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

29 Open 15 Closed
29 Open 15 Closed
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
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

wish: generate cancel-in-progress directive
#269 opened Oct 2, 2024 by gares
Take the checkPhase into account in CI runs
#219 opened May 28, 2024 by CohenCyril
wish: fetchOcamlOverlay
#184 opened Dec 4, 2023 by gares
updateNixToolBox is not documented in README
#148 opened Jun 7, 2023 by Zimmi48
Consider using nix-quick-install in GitHub workflows.
#133 opened Feb 12, 2023 by Zimmi48
Evaluation is too slow
#125 opened Oct 4, 2022 by Zimmi48
8
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
Coq master builds fail using the simple CI workflow
#95 opened Feb 13, 2022 by palmskog
28
Deactivating a job is not transitive
#90 opened Jan 6, 2022 by eponier
2
Regrouping action jobs into one enhancement New feature or request
#84 opened Nov 18, 2021 by CohenCyril
4
Check that nix actions are in sync with the toolbox & config
#83 opened Nov 18, 2021 by CohenCyril
why .nix/ rather than nix/?
#82 opened Nov 5, 2021 by quinn-dougherty
2
cachedMake retrieving incomplete files?
#77 opened Oct 30, 2021 by Zimmi48
2
Disabling jobs only in CI.
#62 opened Sep 2, 2021 by Zimmi48
6
No helpful error message in case the Coq Nix Toolbox commit cannot be found.
#61 opened Sep 1, 2021 by Zimmi48
Rework documentation by following Diátaxis documentation Improvements or additions to documentation
#50 opened Jul 8, 2021 by Zimmi48
Config buildInputs is not used to override the package derivation. bug Something isn't working
#49 opened Jul 1, 2021 by Zimmi48
1
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
Should we disable some jobs when building a PR from a fork or when Cachix writing is disabled?
#47 opened Jul 1, 2021 by Zimmi48
1
attribute / shell-attribute confusion? question Further information is requested
#39 opened Jun 29, 2021 by Zimmi48
5
Unclear error message when running unknown job.
#33 opened Jun 2, 2021 by Zimmi48
2
what is YOURPACKAGENAME? documentation Improvements or additions to documentation
#29 opened May 25, 2021 by gares
2
Add optional tools to nix-shell. enhancement New feature or request
#22 opened Apr 19, 2021 by Zimmi48
2
ProTip! Exclude everything labeled bug with -label:bug.