W3C home > Mailing lists > Public > public-device-apis-log@w3.org > May 2021

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

From: Sid Vishnoi via GitHub <sysbot+gh@w3.org>
Date: Wed, 26 May 2021 19:22:45 +0000
To: public-device-apis-log@w3.org
Message-ID: <issue_comment.created-849055832-1622056963-sysbot+gh@w3.org>
@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

This archive was generated by hypermail 2.4.0 : Monday, 4 July 2022 12:47:58 UTC