Skip to content

Revert "Replace Ace Editor with CodeMirror" #7817

Revert "Replace Ace Editor with CodeMirror"

Revert "Replace Ace Editor with CodeMirror" #7817

Triggered via pull request September 12, 2023 12:30
Status Success
Total duration 47s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in