Skip to content

[lex.ext] Remove \grammarterm for consistency #11410

[lex.ext] Remove \grammarterm for consistency

[lex.ext] Remove \grammarterm for consistency #11410

Triggered via pull request January 6, 2026 08:06
Status Success
Total duration 8m 37s
Artifacts 1

check.yml

on: pull_request
Matrix: run-checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot
9.03 MB
sha256:41389330844942e93bf4f5159c1fb1247b59ad06315f74e0ed30d13003b46676