Merge main into chore/shared-proofkit-skills #1049
eluce2continuous-release.yml
on: push
publish-any-commit
/
lint
27s
publish-any-commit
/
typecheck
22s
publish-any-commit
/
test
22s
publish-any-commit
/
build
29s
publish-any-commit
/
publish
51s
Annotations
1 notice
|
publish-any-commit / publish
{
"workflowData": {
"owner": "proofsh",
"repo": "proofkit",
"sha": "b974d99bcaa6aa0f7e4c824ae6e4a4ed0cd52fec",
"ref": "205"
},
"key": "9WmcCDmRNt",
"runId": 23904526373,
"webhookDebug": {
"action": "requested",
"head_branch": "chore/shared-proofkit-skills",
"head_repository_full_name": "proofsh/proofkit",
"full_name": "proofsh/proofkit",
"isPullRequest": true,
"prNumber": 205,
"prNumberType": "number",
"isNewPullRequest": true,
"isOldPullRequest": false,
"prKey": "proofsh/proofkit:chore/shared-proofkit-skills",
"oldPrDataHash": "LHKIclaw24",
"lookupKey": "proofsh/proofkit:chore/shared-proofkit-skills",
"data": {
"owner": "proofsh",
"repo": "proofkit",
"sha": "b974d99bcaa6aa0f7e4c824ae6e4a4ed0cd52fec",
"ref": "205"
}
}
}
|