Skip to content

feat: inline element for Lean commands #115

feat: inline element for Lean commands

feat: inline element for Lean commands #115

Triggered via pull request January 12, 2026 13:25
Status Success
Total duration 15s
Artifacts

check-format.yml

on: pull_request
check-prettier-formatting
11s
check-prettier-formatting
Fit to window
Zoom out
Zoom in