Skip to content

internal: remove redundant editor.make() calls #1049

internal: remove redundant editor.make() calls

internal: remove redundant editor.make() calls #1049

Triggered via pull request April 17, 2026 08:07
Status Success
Total duration 5m 3s
Artifacts

coverage.yaml

on: pull_request
Fit to window
Zoom out
Zoom in