Skip to content
check

[namespace.alias], [over.oper.general] Remove trailing \br in grammar #10815

Sign in to view logs

[namespace.alias], [over.oper.general] Remove trailing \br in grammar

[namespace.alias], [over.oper.general] Remove trailing \br in grammar #10815

Triggered via pull request November 10, 2025 17:17
@eisenwaveeisenwave
opened #8498
eisenwave:remove-trailing-br
Status Success
Total duration 9m 14s
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
8.98 MB
sha256:d63864378b7eb7615b53a0a315307665ef236f6fb0f17a8f55f68c0ed5b389b6