build: remove CircleCI (#42844)
* build: remove CircleCI * chore: remove remaining CircleCI references
This commit is contained in:
parent
f173a0637a
commit
c006e129b3
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