Skip to content
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

[ derive ] Better logging and additional tests #186

Merged
merged 5 commits into from
Aug 28, 2024
Merged

Conversation

buzden
Copy link
Owner

@buzden buzden commented Aug 25, 2024

No description provided.

@buzden buzden added code: enhancement New feature or improvement code: cleanup Making code cleaner or nicer code: refactoring Changing the code structure without changing functionality part: derivation Related to automated derivation of generators part: tests Related to tests of the library issue: performance When work takes too much resources derive: least-effort Relates to the `LeastEffort` derivation algorithm part: examples Related to the usage examples labels Aug 25, 2024
@buzden buzden added the issue: bad message When library reports some problem badly label Aug 28, 2024
@buzden buzden force-pushed the better-logs-and-tests branch 2 times, most recently from 8e1cd1a to 82eaf40 Compare August 28, 2024 12:53
@buzden buzden merged commit efce20f into master Aug 28, 2024
62 checks passed
@buzden buzden deleted the better-logs-and-tests branch August 28, 2024 14:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
code: cleanup Making code cleaner or nicer code: enhancement New feature or improvement code: refactoring Changing the code structure without changing functionality derive: least-effort Relates to the `LeastEffort` derivation algorithm issue: bad message When library reports some problem badly issue: performance When work takes too much resources part: derivation Related to automated derivation of generators part: examples Related to the usage examples part: tests Related to tests of the library
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant