Skip to content

Issues: na4zagin3/satyrographos-repo

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

28 Open 27 Closed
28 Open 27 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 SATySFi v0.0.11
#676 opened Feb 5, 2024 by na4zagin3
@na4zagin3
CI fails due to stack overflow
#665 opened Oct 12, 2023 by zeptometer
1
opam publish fails with an error
#469 opened May 24, 2022 by na4zagin3
Run satyrographos lint for CI ci
#461 opened May 22, 2022 by na4zagin3
Create binary distribution of SATySFi and Satyrographos
#442 opened Apr 26, 2022 by na4zagin3
CI: Enable building against OCaml 4.12 ci
#407 opened Dec 19, 2021 by na4zagin3
CI: comment revdeps ci
#391 opened Nov 28, 2021 by na4zagin3
Fix license identifier of the snapshots fix license Fix license
#385 opened Nov 17, 2021 by na4zagin3
Remove unmaintained libraries from the snapshots help wanted Extra attention is needed snapshot
#276 opened Feb 6, 2021 by na4zagin3
1
CI: Handle a case where a package supports SATySFi 0.0.4 but not old Satyrographos ci
#267 opened Jan 27, 2021 by na4zagin3
Restore --with-tests and --with-doc when OPAM 2.1 is available ci
#256 opened Jan 19, 2021 by na4zagin3
Restore automatic follow-up commands after removal ci
#253 opened Jan 2, 2021 by na4zagin3
Add missing licenses to font packages bug Something isn't working
#193 opened Sep 24, 2020 by na4zagin3
Add OPAM tags enhancement New feature or request
#182 opened Sep 12, 2020 by na4zagin3
Make some dependency errors fatal during individual building
#163 opened Aug 24, 2020 by na4zagin3
Add satysfi-MkTable
#137 opened Jul 23, 2020 by na4zagin3
Introduce snapshots
#132 opened Jul 20, 2020 by na4zagin3
3 of 6 tasks
1
Add dependencies on satysfi-dist bug Something isn't working
#124 opened Jul 18, 2020 by na4zagin3
Change version format of SATySFi develop versions
#123 opened Jul 18, 2020 by na4zagin3
Update OFL license identifiers fix license Fix license
#108 opened Apr 9, 2020 by na4zagin3
1
Post merge notification to SATySFi Slack
#71 opened Feb 16, 2020 by na4zagin3
CI for PRs needs to fix package versions
#62 opened Feb 9, 2020 by na4zagin3
Automatically scan packages to test during CI
#47 opened Jan 23, 2020 by na4zagin3
1
Add Amaoto17/satysfi-highlight
#31 opened Nov 16, 2019 by na4zagin3
Retract Satyrographos.0.0.2.1
#21 opened Sep 10, 2019 by na4zagin3
ProTip! Find all open issues with in progress development work with linked:pr.