Skip to content

Issues: UniMath/agda-unimath

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

Clear current search query, filters, and sorts
9 Open 58 Closed
9 Open 58 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

Add graph legend art CI website
#1363 opened Mar 12, 2025 by fredrik-bakke Loading…
2
Macro for users/contributors CI documentation Improvements or additions to documentation tooling
#1323 opened Feb 14, 2025 by fredrik-bakke
2
Undetected ill-formed macro invocations bug Something isn't working CI
#1200 opened Oct 17, 2024 by fredrik-bakke
Allow manually running perf testing on pull requests CI
#1049 opened Feb 29, 2024 by VojtechStep
The module index generator doesn't support modules with unicode characters in their names bug Something isn't working CI pre-commit
#1027 opened Feb 10, 2024 by fredrik-bakke
14
Autoformatting for Python files CI pre-commit
#939 opened Nov 24, 2023 by fredrik-bakke
@VojtechStep
3
Run link-check sooner, and irrespective of other pipelines CI enhancement New feature or request
#775 opened Sep 15, 2023 by fredrik-bakke
9
Make pre-commit hooks usable in third-party projects CI documentation Improvements or additions to documentation pre-commit
#638 opened Jun 4, 2023 by fredrik-bakke
2
make pre-commit gives error on first run, then second run is fine CI repo-maintenance
#524 opened Mar 19, 2023 by EgbertRijke
8
ProTip! Find all open issues with in progress development work with linked:pr.