Skip to content

Merge pull request #91 from w3c/withdraw-name-from-work #5

Merge pull request #91 from w3c/withdraw-name-from-work

Merge pull request #91 from w3c/withdraw-name-from-work #5

Triggered via push October 16, 2023 16:27
Status Success
Total duration 1m 46s
Artifacts 1

auto-publish.yml

on: push
Build, Validate and Deploy
1m 35s
Build, Validate and Deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
spec-prod-result Expired
230 KB