Skip to content

Merge pull request #556 from osa1/name_subsection_ids #7

Merge pull request #556 from osa1/name_subsection_ids

Merge pull request #556 from osa1/name_subsection_ids #7

Triggered via push August 28, 2024 10:48
Status Skipped
Total duration 3s
Artifacts

w3c-publish.yml

on: push
publish-to-w3c-TR
0s
publish-to-w3c-TR
Fit to window
Zoom out
Zoom in