Skip to content

Issues: coq-community/templates

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

20 Open 30 Closed
20 Open 30 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

index.html question Further information is requested
#126 opened May 17, 2024 by motrellin
8
generate.sh should error gracefully when meta.yml does not exist
#114 opened Feb 17, 2022 by kyoDralliam
1
Support for Gitlab and others
#113 opened Feb 15, 2022 by ana-borges
4
coq-community projects still referencing legacy Nix infrastructure.
#102 opened Aug 10, 2021 by Zimmi48
5 of 12 tasks
1
Handling of chat for coq-community projects
#98 opened Apr 23, 2021 by chdoc
CircleCI with ARM
#96 opened Apr 6, 2021 by liyishuai
Moving away from mustache enhancement New feature or request help wanted Extra attention is needed question Further information is requested
#95 opened Apr 4, 2021 by Zimmi48
6
The documentation should point to working mustache reference implementation for (at least) the major OS.
#85 opened Dec 8, 2020 by strub
5
Do not display auto-generated files in GitHub PR diffs enhancement New feature or request
#71 opened Jul 25, 2020 by Zimmi48
1
Documentation of all templates documentation Improvements or additions to documentation
#65 opened Jun 30, 2020 by palmskog
Templating/files related to extracted lead to duplication
#63 opened Jun 26, 2020 by palmskog
1
CI check generated files enhancement New feature or request
#62 opened Jun 26, 2020 by liyishuai
1
Adding optional listing of former project maintainers and displaying them in README enhancement New feature or request
#51 opened Jun 3, 2020 by palmskog
generate.sh should be robust to incorrect YAML files. enhancement New feature or request
#42 opened May 28, 2020 by Zimmi48
Support specifying system packages to install in Docker enhancement New feature or request
#41 opened May 27, 2020 by palmskog
6
Potential improvements to generate.sh enhancement New feature or request
#36 opened May 27, 2020 by liyishuai
1 of 2 tasks
10
Potential issue with YAML variables containing dashes question Further information is requested
#14 opened Mar 10, 2020 by erikmd
7
Propagating changes from meta.yml to README, opam, etc. should be easier
#20 opened May 28, 2019 by anton-trunov
5
Document the project metadata format documentation Improvements or additions to documentation
#24 opened Mar 1, 2019 by palmskog
2
State of CI testing with Nix
#69 opened Dec 13, 2018 by Zimmi48
20
ProTip! Follow long discussions with comments:>50.