- From: Kagami Sascha Rosylight <notifications@github.com>
- Date: Fri, 11 Jun 2021 16:20:03 -0700
- To: w3c/selection-api <selection-api@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 11 June 2021 23:20:30 UTC
Oh BTW, "Tidy up" shouldn't be there since it never runs on PRs. "Build and Validate" not running here shows what I said in https://github.com/w3c/selection-api/pull/140#issuecomment-859616116. The workaround is closing-and-reopeninng PRs from @github-actions, but I think linting should generally not open any additional PR? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/selection-api/pull/140#issuecomment-859953636
Received on Friday, 11 June 2021 23:20:30 UTC