Skip to content
check

[dcl.type.elab] Don't start a paragraph with a note #147

Sign in to view logs

[dcl.type.elab] Don't start a paragraph with a note

[dcl.type.elab] Don't start a paragraph with a note #147

Triggered via push February 9, 2024 04:53
@QuuxplusoneQuuxplusone
pushed 64e27f9
dont-start-with-note
Status Success
Total duration 7m 54s
Artifacts 1

check.yml

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

Artifacts

Produced during runtime
Name Size
draft-snapshot Expired
7.77 MB