Skip to content

fix: Don't include syntax information in elaboration of math elements #36

fix: Don't include syntax information in elaboration of math elements

fix: Don't include syntax information in elaboration of math elements #36

Triggered via pull request February 5, 2026 19:01
Status Success
Total duration 6s
Artifacts

test-imports.yml

on: pull_request
Check all test modules are imported
4s
Check all test modules are imported
Fit to window
Zoom out
Zoom in