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

I pushed two commits and the issue seems to be fixed. @sidvishnoi can we close this PR now?

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


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

Received on Thursday, 27 May 2021 13:53:27 UTC