Skip to content

Update Gadget:wikieditor-highlight with CodeMirror 6 #172

Update Gadget:wikieditor-highlight with CodeMirror 6

Update Gadget:wikieditor-highlight with CodeMirror 6 #172

Triggered via pull request January 13, 2024 07:57
@bhsd-harrybhsd-harry
opened #392
Status Success
Total duration 29s
Artifacts

auto_assign.yaml

on: pull_request_target
add-reviews
19s
add-reviews
Fit to window
Zoom out
Zoom in