destructure record rest elements #9835
Annotations
1 notice
|
Publish packages to pkg.pr.new
{
"workflowData": {
"owner": "rescript-lang",
"repo": "rescript",
"sha": "9aec5714147182848855b61d1e22651a80023f10",
"ref": "8317"
},
"key": "tqfifngxlS",
"runId": 24243309768,
"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": "9aec5714147182848855b61d1e22651a80023f10",
"ref": "8317"
}
}
}
|
Loading