Re: [proximity] chore(ci): fix W3C_BUILD_OVERRIDE value (#47)

@xfq In this PR, I'm fixing a workflow issues, as well as trying to debug https://github.com/w3c/spec-prod/issues/63. Can you approve the workflow run?
Don't merge this PR yet though.

-- 
GitHub Notification of comment by sidvishnoi
Please view or discuss this issue at https://github.com/w3c/proximity/pull/47#issuecomment-849055832 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 26 May 2021 19:22:47 UTC