Skip to content

Merge branch 'master' into feature/merge_master #1056

Merge branch 'master' into feature/merge_master

Merge branch 'master' into feature/merge_master #1056

Triggered via push December 26, 2023 14:18
Status Success
Total duration 1m 39s
Artifacts

main.yaml

on: push
Matrix: lint_python
Fit to window
Zoom out
Zoom in