[Jenkinsfile] Add my GitHub ID to intern name list

kec020 commented 2 months ago

Description

This is a pull request for adding my Github ID to intern contributor name list in Jenkinsfile in root directory.

Please feel free to remove inapplicable items for your PR.

[x] The PR title starts with [$CATEGORY] (such as [NN], [Model], [Doc], [Feature]])
[x] The PR is complete and small, read the Google eng practice (CL equals to PR) to understand more about small PR. In DGL, we consider PRs with less than 200 lines of core code change are small (example, test and documentation could be exempted).
[x] To the best of my knowledge, examples are either not affected by this change, or have been fixed to be compatible with this change

dgl-bot commented 2 months ago

To trigger regression tests:

@dgl-bot run [instance-type] [which tests] [compare-with-branch]; For example: @dgl-bot run g4dn.4xlarge all dmlc/master or @dgl-bot run c5.9xlarge kernel,api dmlc/master

dgl-bot commented 2 months ago

Commit ID: 7b6616b01cd0eee2670d972fbf90c45ccfb51a00

Build ID: 1

Status: ⚪️ CI test cancelled due to overrun.

Report path: link

Full logs path: link

dgl-bot commented 2 months ago

Commit ID: a0f50b0a348137c2a98a3b1df1edd07e390455dd

Build ID: 2

Status: ✅ CI test succeeded.

Report path: link

Full logs path: link