Skip to content

Merge branch 'master' into 480_tests_criterion #748

Merge branch 'master' into 480_tests_criterion

Merge branch 'master' into 480_tests_criterion #748

Triggered via push November 10, 2025 19:48
Status Success
Total duration 33s
Artifacts
find_conflicts
28s
find_conflicts
Fit to window
Zoom out
Zoom in