- From: Jon Levine via GitHub <sysbot+gh@w3.org>
- Date: Tue, 15 Sep 2020 23:09:27 +0000
- To: public-design-tokens-log@w3.org
@kaelig I did, but not until after I submitted this PR and that check failed. Is there a way to re-run, or should i kill this and submit a new one? -- GitHub Notification of comment by jonnyl Please view or discuss this issue at https://github.com/design-tokens/community-group/pull/41#issuecomment-693025781 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 15 September 2020 23:09:29 UTC