Skip to content
check

[dcl.type.general] Strike irrelevant footnote #11036

Sign in to view logs

[dcl.type.general] Strike irrelevant footnote

[dcl.type.general] Strike irrelevant footnote #11036

Triggered via pull request December 2, 2025 19:59
@AlisdairMAlisdairM
opened #8578
AlisdairM:strike_footnote_73
Status Success
Total duration 10m 32s
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.99 MB
sha256:6f83c181c574ddc3521bdd7374063f2a11e2b9842b9e8aa8817c1fb1851db377