Skip to content

Revert "Replace Ace Editor with CodeMirror" #7461

Revert "Replace Ace Editor with CodeMirror"

Revert "Replace Ace Editor with CodeMirror" #7461

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

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in