Fix: Prefix generated names with underscore if they start with a digit #139
cursor[bot]Annotations
1 notice
|
build
{
"workflowData": {
"owner": "proofgeist",
"repo": "proofkit",
"sha": "b6ae0c4b1438c83ca91960ef3642bb425c03c1fd",
"ref": "78"
},
"key": "xCGzTgcOVo",
"runId": 20312693253,
"webhookDebug": {
"action": "requested",
"head_branch": "12-13-typegen_web_ui",
"head_repository_full_name": "proofgeist/proofkit",
"full_name": "proofgeist/proofkit",
"isPullRequest": true,
"prNumber": 78,
"prNumberType": "number",
"isNewPullRequest": true,
"isOldPullRequest": false,
"prKey": "proofgeist/proofkit:12-13-typegen_web_ui",
"oldPrDataHash": "wNs26qvRr9",
"lookupKey": "proofgeist/proofkit:12-13-typegen_web_ui",
"data": {
"owner": "proofgeist",
"repo": "proofkit",
"sha": "b6ae0c4b1438c83ca91960ef3642bb425c03c1fd",
"ref": "78"
}
}
}
|