Merge master into develop #560

Triggered via pull request October 25, 2023 09:07

frkralj

synchronize #188

master

Status Success

Total duration 5m 57s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	54.6 MB