Skip to content

Do not report default maximum duration#379

Closed
mvorisek wants to merge 1 commit intoergebnis:mainfrom
mvorisek:dump_non_default_limit_only
Closed

Do not report default maximum duration#379
mvorisek wants to merge 1 commit intoergebnis:mainfrom
mvorisek:dump_non_default_limit_only

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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants