Skip to content

[sequence.reqmts] Use \range instead of \tcode throughout the standard #8443

[sequence.reqmts] Use \range instead of \tcode throughout the standard

[sequence.reqmts] Use \range instead of \tcode throughout the standard #8443

Triggered via pull request February 10, 2025 20:31
Status Success
Total duration 15m 22s
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 Expired
8.3 MB
sha256:4e0b4e43efcbc537fed581a8f0a61e9272baa69e556ddaf0e0bdf4c68f7ce972