Skip to content

Issues: propensive/probably

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.

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

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

Issues list

Documentation is out of date docs Improvements or additions to documentation
#73 opened Feb 20, 2024 by propensive
Print a message if no tests are run minor Has only a small impact for the majority of users
#72 opened Jan 26, 2024 by propensive
Take a lock when executing benchmarks code quality Concerns the standard of code rather than functionality enhancement An improvement to existing functionality performance Relates to the efficiency or speed of an operation
#70 opened Dec 11, 2023 by propensive
Code coverage output is too "flat" code quality Concerns the standard of code rather than functionality enhancement An improvement to existing functionality
#69 opened Sep 27, 2023 by propensive
Use Harlequin to syntax-highlight code fragments api Relates to the API design
#67 opened Jun 30, 2023 by propensive
Use Quantitative for safer table entries code quality Concerns the standard of code rather than functionality
#59 opened May 3, 2023 by propensive
Produce HTML test reports core Describes core required functionality
#54 opened Jan 29, 2023 by propensive
tab-completion for command-line operation enhancement An improvement to existing functionality help wanted External assistance is needed
#34 opened Nov 28, 2020 by propensive
Provide more command-line options enhancement An improvement to existing functionality
#30 opened Nov 28, 2020 by propensive
ProTip! Mix and match filters to narrow down what you’re looking for.