Skip to content
Pause Community Contributions

Create a CodeMirror mode for Lean #151

Sign in to view logs

Create a CodeMirror mode for Lean

Create a CodeMirror mode for Lean #151

Triggered via issue March 9, 2026 09:45
@oxe-ioxe-i
opened #156 f8df0ce
Status Success
Total duration 6s
Artifacts –

pause-community-contributions.yml

on: issues
pause  /  Pause Community Contributions
4s
pause / Pause Community Contributions
Fit to window
Zoom out
Zoom in