Skip to content

[expr.ref] Add "Otherwise, " to beginning of list items. #9878

[expr.ref] Add "Otherwise, " to beginning of list items.

[expr.ref] Add "Otherwise, " to beginning of list items. #9878

Triggered via push July 22, 2025 09:51
Status Success
Total duration 7m 56s
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 Expired
8.98 MB
sha256:ec5cfb99f2416d265ae9add55f8c803d5acbfa78f3fbe41536d7d1c97ce796ad