Skip to content

[stmt.expand] Add missing \grammarterm #9916

[stmt.expand] Add missing \grammarterm

[stmt.expand] Add missing \grammarterm #9916

Triggered via push July 26, 2025 00:25
Status Success
Total duration 7m 29s
Artifacts 1

check.yml

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

Artifacts

Produced during runtime
Name Size Digest
draft-snapshot
8.98 MB
sha256:91ed9ee9f716afbac97da4dc3db95ce4313d94c9e829b176937fba2ba214b0e6