This PR was auto-generated by create-pull-request. It is usually triggered by a new threedi-modelchecker release, but can also be run by hand. This PR updates the documented list of checks run by the modelchecker to reflect the latest threedi-modelchecker version, 2.10.2. Please note: The workflow cannot be triggered by this bot, so to run the required checks, please close and reopen this pull request.
This PR was auto-generated by create-pull-request. It is usually triggered by a new threedi-modelchecker release, but can also be run by hand. This PR updates the documented list of checks run by the modelchecker to reflect the latest threedi-modelchecker version, 2.10.2. Please note: The workflow cannot be triggered by this bot, so to run the required checks, please close and reopen this pull request.