Skip to content

menu: Remove redundant terminal size check from editor #3630

menu: Remove redundant terminal size check from editor

menu: Remove redundant terminal size check from editor #3630

Triggered via push April 18, 2026 22:22
Status Success
Total duration 2m 8s
Artifacts

check.yml

on: push
Check for compilation failures
2m 4s
Check for compilation failures
Fit to window
Zoom out
Zoom in