build: remove CircleCI (#42912)
build: remove CircleCI (#42844)
* build: remove CircleCI
* chore: remove remaining CircleCI references
(cherry picked from commit c006e129b3
)
Co-authored-by: trop[bot] <37223003+trop[bot]@users.noreply.github.com>
Co-authored-by: Keeley Hammond <vertedinde@electronjs.org>
This commit is contained in:
parent
3454ffb61e
commit
0b067eae23
20 changed files with 3 additions and 1970 deletions
|
@ -7,8 +7,7 @@ async function checkIfDocOnlyChange () {
|
|||
|
||||
if (prNumber || prURL) {
|
||||
try {
|
||||
// CircleCI doesn't provide the PR number except on forked PRs,
|
||||
// so to cover all cases we just extract it from the PR URL.
|
||||
// extract the PR number from the PR URL.
|
||||
if (!prNumber || isNaN(prNumber)) {
|
||||
if (args.prURL) {
|
||||
prNumber = prURL.split('/').pop();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue