Skip to content
This repository has been archived by the owner on Sep 11, 2024. It is now read-only.

Merge branch 'master' into develop #4414

Merge branch 'master' into develop

Merge branch 'master' into develop #4414

Triggered via push June 20, 2023 09:19
Status Success
Total duration 2m 6s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Notify Element Web
1s
Notify Element Web
Fit to window
Zoom out
Zoom in