Skip to content

Merge pull request #3809 from TIM-JYU/fix-chromium-editor-shortcut #3803

Merge pull request #3809 from TIM-JYU/fix-chromium-editor-shortcut

Merge pull request #3809 from TIM-JYU/fix-chromium-editor-shortcut #3803

Triggered via push February 16, 2025 17:19
Status Success
Total duration 34s
Artifacts

format.yml

on: push
skip_check
3s
skip_check
Check Python formatting
25s
Check Python formatting
Check TypeScript formatting
0s
Check TypeScript formatting
Fit to window
Zoom out
Zoom in