Skip to content

Add navigation commands into the editor #34

Add navigation commands into the editor

Add navigation commands into the editor #34

Triggered via pull request November 18, 2024 14:22
Status Success
Total duration 47s
Artifacts

lint.yml

on: pull_request
Lint python
37s
Lint python
Fit to window
Zoom out
Zoom in