Skip to content

[temp.arg.general] Add \grammarterm for type-id in comment #11455

[temp.arg.general] Add \grammarterm for type-id in comment

[temp.arg.general] Add \grammarterm for type-id in comment #11455

Triggered via pull request January 26, 2026 07:36
Status Success
Total duration 8m 5s
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:781d914a2d74aee6d81ce23a9ebaabc63d979fa2d0b2db41101a9c57ec1ded69