Skip to content

Merge branch 'develop' into rtinianov_notopt #4064

Merge branch 'develop' into rtinianov_notopt

Merge branch 'develop' into rtinianov_notopt #4064

Triggered via push January 23, 2024 15:16
Status Skipped
Total duration 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci-scripts.yml

on: push
lint-scripts
0s
lint-scripts
test-scripts
0s
test-scripts
Fit to window
Zoom out
Zoom in