Closed Ectelion closed 10 months ago
🤖 I detect that the PR title and the commit message differ and there's only one commit. To use the PR title for the commit history, you can use Github's automerge feature with squashing, or use automerge
label. Good luck human!
-- conventional-commit-lint bot https://conventionalcommits.org/
In response to a demanded capability. In case of PHP, one may configure
max_execution_time
directly in a similar way, but that's just one language-specific piece of a larger story.