Skip to content

Set a default file extension when saving files without an extension. #3706

Set a default file extension when saving files without an extension.

Set a default file extension when saving files without an extension. #3706

Triggered via pull request March 6, 2025 15:47
Status Success
Total duration 37s
Artifacts

check_codestyle.yml

on: pull_request
codestyle
29s
codestyle
Fit to window
Zoom out
Zoom in