nens / threedi-docs

3Di documentation
https://docs.3di.live/
0 stars 2 forks source link

Update schematisation checks for threedi-modelchecker 2.13.0 #453

Closed github-actions[bot] closed 1 month ago

github-actions[bot] commented 1 month ago

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.13.0. Please note: The workflow cannot be triggered by this bot, so to run the required checks, please close and reopen this pull request.