Skip to content

Merge pull request #1970 from w3c/update-aaguid-def #473

Merge pull request #1970 from w3c/update-aaguid-def

Merge pull request #1970 from w3c/update-aaguid-def #473

Triggered via push October 11, 2023 18:47
Status Success
Total duration 1m 39s
Artifacts 1
Build, Validate, and Publish
1m 28s
Build, Validate, and Publish
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
spec-prod-result Expired
2.32 MB