Skip to content

doc: add additional useful ci job to list - #13086

Closed
mhdawson wants to merge 1 commit into
masterfrom
useful-ci-v8
Closed

doc: add additional useful ci job to list#13086
mhdawson wants to merge 1 commit into
masterfrom
useful-ci-v8

Conversation

@mhdawson

Copy link
Copy Markdown
Member
Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • documentation is changed or added
  • commit message follows [commit guidelines]
Affected core subsystem(s)

doc

@nodejs-github-botnodejs-github-bot added the doc Issues and PRs related to the documentations. label May 17, 2017
@mhdawson

Copy link
Copy Markdown
MemberAuthor

@mhdawson

Copy link
Copy Markdown
MemberAuthor

CI good landing

@mhdawson

Copy link
Copy Markdown
MemberAuthor

Landed as 3702ae7

mhdawson added a commit that referenced this pull request May 19, 2017
PR-URL: #13086
Reviewed-By: Gibson Fahnestock <gibfahn@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Richard Lau <riclau@uk.ibm.com>
@gibfahn
gibfahn deleted the useful-ci-v8 branch May 20, 2017 00:07
@jasnelljasnell mentioned this pull request May 28, 2017
@gibfahngibfahn mentioned this pull request Jun 15, 2017
3 tasks
MylesBorins pushed a commit that referenced this pull request Jul 17, 2017
PR-URL: #13086
Reviewed-By: Gibson Fahnestock <gibfahn@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Richard Lau <riclau@uk.ibm.com>
@MylesBorinsMylesBorins mentioned this pull request Jul 18, 2017
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

docIssues and PRs related to the documentations.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants

@mhdawson@lpinca@richardlau@gibfahn@MylesBorins@nodejs-github-bot