Skip to content

doc: empty change#17

Closed
mmarchini wants to merge 2 commits intonodejs:masterfrom
mmarchini:pull-request-1
Closed

doc: empty change#17
mmarchini wants to merge 2 commits intonodejs:masterfrom
mmarchini:pull-request-1

Conversation

@mmarchini
Copy link
Contributor

Checklist
  • make -j4 test (UNIX), or vcbuild test (Windows) passes
  • tests and/or benchmarks are included
  • documentation is changed or added
  • commit message follows commit guidelines

Add schedule action which will start Jenkins CI for all Pull Requests
labeled as `request-ci`.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant