Skip to content

Merge pull request #1436 from brcekadam/rename_MS_core_option #1433

Merge pull request #1436 from brcekadam/rename_MS_core_option

Merge pull request #1436 from brcekadam/rename_MS_core_option #1433

Triggered via push October 24, 2025 01:37
Status Success
Total duration 31s
Artifacts
pre-commit
22s
pre-commit
Fit to window
Zoom out
Zoom in