search

nens / threedi-docs

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

Update schematisation checks for threedi-modelchecker 2.7.1 #420

Closed github-actions[bot] closed 1 week ago

github-actions[bot] commented 5 months 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.7.1.

daanvaningen commented 4 months ago

There seems to be an issue with the build and deploy check Furthermore I am not sure if we need to approve this PR since it is auto-generated. Would be better if the one who mode the modelchecker changes checks this

margrietpalm commented 4 months ago

@daanvaningen If I remember correctly, Leendert tends to handle these :).

elisalle commented 1 month ago

@daanvaningen unfortunately the build and deploy check can't be autotriggered by the github actions bot because an action can't trigger an action. To run the check, you need to close and reopen the PR, which allows the check to run. I'll edit the autogenerated PR description to say so.