Skip to content

[optional.optional.ref.general] Fix reference to [optional.ref.iterators] #10053

[optional.optional.ref.general] Fix reference to [optional.ref.iterators]

[optional.optional.ref.general] Fix reference to [optional.ref.iterators] #10053

Triggered via pull request August 15, 2025 10:53
Status Success
Total duration 9m 43s
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:8ba265c3c4304df341a3ec902f2beeacc089b4579b84882157e9e90437574029