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.

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

Jump to bottom

Do not report default maximum duration #379

Closed
wants to merge 1 commit into from
Closed

Do not report default maximum duration #379

wants to merge 1 commit into from

Conversation

mvorisek
Copy link
Contributor

In most cases the maximum duration is project's default. There is no need to report it.

@mvorisek mvorisek marked this pull request as draft November 28, 2023 10:53
@mvorisek mvorisek marked this pull request as ready for review December 1, 2023 10:24
@localheinz localheinz self-assigned this Dec 1, 2023
@localheinz
Copy link
Member

Thank you, @mvorisek - but I do not like this change.

@localheinz localheinz closed this Dec 1, 2023
@mvorisek mvorisek deleted the dump_non_default_limit_only branch December 3, 2023 14:46
@mvorisek mvorisek mentioned this pull request Dec 3, 2023
Open
@localheinz localheinz mentioned this pull request Dec 23, 2023
Open
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ergebnis-bot ergebnis-bot Awaiting requested review from ergebnis-bot ergebnis-bot is a code owner

@localheinz localheinz Awaiting requested review from localheinz localheinz is a code owner

Assignees

@localheinz localheinz

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@mvorisek @localheinz