Skip to content

feat(repl): add font size adjustment to editor #3392

feat(repl): add font size adjustment to editor

feat(repl): add font size adjustment to editor #3392

This workflow is awaiting approval from a maintainer in #1664
Triggered via pull request November 13, 2025 16:13
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #1664

ci.yml

on: pull_request
Lint
Lint
Fit to window
Zoom out
Zoom in