Merge the release to develop

Merge the released `release/3.1.2` from `trunk` to `develop` #9

Sign in to view logs

Triggered via pull request October 23, 2023 07:35

closed #2652

release/3.1.2

Status Success

Total duration 16s

Artifacts –

post-release-automerge.yml

on: pull_request

Automerge released trunk