Skip to content

Merge branch 'develop' into 'master' #15

Merge branch 'develop' into 'master'

Merge branch 'develop' into 'master' #15

Triggered via push April 3, 2025 11:56
Status Success
Total duration 3m 25s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Matrix: lint
Fit to window
Zoom out
Zoom in