Skip to content

Issues: propensive/soundness

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

17 Open 29 Closed
17 Open 29 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

Establish consistent construction terminology
#215 opened Mar 7, 2025 by propensive
@propensive
1
Use multi-file build to improve compilation time
#195 opened Feb 28, 2025 by NPCRUS
@NPCRUS
Make all typeclasses [co]functors if applicable api Relates to the API design beginner A good introduction for newcomers code quality Concerns the standard of code rather than functionality minor Has only a small impact for the majority of users
#191 opened Feb 26, 2025 by propensive
@propensive
Get modules to appear on Scaladex question Looking for an answer release Relates to the bureaucracy of releasing the project
#108 opened Jan 31, 2025 by propensive
Users need advice on where to find givens code quality Concerns the standard of code rather than functionality docs Improvements or additions to documentation
#75 opened Jan 27, 2025 by propensive
@propensive
1
Update the Soundness website docs Improvements or additions to documentation
#71 opened Jan 26, 2025 by propensive
@propensive
Add tests to CI
#61 opened Jan 25, 2025 by propensive
@propensive
Simplify submodule README files
#54 opened Jan 24, 2025 by propensive
@propensive
Investigate scalafmt
#42 opened Jan 21, 2025 by propensive
@NPCRUS
Start tracking code coverage
#41 opened Jan 21, 2025 by propensive
@propensive
Use Umbrageous for shading
#40 opened Jan 21, 2025 by propensive
@propensive
1
Improve documentation
#39 opened Jan 21, 2025 by propensive
@propensive
Set up publish-on-tag for Soundness
#37 opened Jan 21, 2025 by propensive
@propensive
Publish to Maven Central with Mill
#33 opened Jan 21, 2025 by propensive
@propensive
Fix all the remaining non-compiling tests
#29 opened Jan 21, 2025 by propensive
@propensive
Investigate what's required to publish ScalaJS artifacts.
#23 opened Dec 13, 2024 by propensive
@NPCRUS
Investigate binary compatibility for semantic versioning
#11 opened Aug 2, 2022 by propensive
ProTip! Find all open issues with in progress development work with linked:pr.