destructure record rest elements #9762
Annotations
1 notice
|
Publish packages to pkg.pr.new
{
"workflowData": {
"owner": "rescript-lang",
"repo": "rescript",
"sha": "2936f5a2c981f7a6a2eb84a2018b0138a081eb81",
"ref": "8317"
},
"key": "trjNfrq5Hx",
"runId": 23682464826,
"webhookDebug": {
"action": "requested",
"head_branch": "fix-8311",
"head_repository_full_name": "rescript-lang/rescript",
"full_name": "rescript-lang/rescript",
"isPullRequest": true,
"prNumber": 8317,
"prNumberType": "number",
"isNewPullRequest": true,
"isOldPullRequest": false,
"prKey": "rescript-lang/rescript:fix-8311",
"oldPrDataHash": "YV7B5Wdo3V",
"lookupKey": "rescript-lang/rescript:fix-8311",
"data": {
"owner": "rescript-lang",
"repo": "rescript",
"sha": "2936f5a2c981f7a6a2eb84a2018b0138a081eb81",
"ref": "8317"
}
}
}
|
Loading