Merge master into develop #525

Triggered via pull request August 30, 2023 12:13

frkralj

synchronize #188

master

Status Success

Total duration 4m 26s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	54.8 MB