Fix unnecessary boxing of Some(React.component)
#10510
cknittci.yml
on: pull_request
Matrix: build-compiler
test-devcontainer
17m 38s
Matrix: test-installation-npm
Matrix: test-installation-pnpm
Matrix: test-integration-rewatch
publish
0s
Annotations
1 notice
|
pkg-pr-new
{
"workflowData": {
"owner": "rescript-lang",
"repo": "rescript",
"sha": "dc498815fc68fdfce7c2c3aa5cd9f3adbb4ba897",
"ref": "8500",
"headBranch": "react-component-not-undefined"
},
"key": "5zc0yPGs5I",
"runId": 29017175130,
"webhookDebug": {
"action": "in_progress",
"head_branch": "react-component-not-undefined",
"head_repository_full_name": "rescript-lang/rescript",
"full_name": "rescript-lang/rescript",
"isPullRequest": true,
"prNumber": 8500,
"prNumberType": "number",
"isNewPullRequest": true,
"isOldPullRequest": false,
"prKey": "rescript-lang/rescript:react-component-not-undefined",
"oldPrDataHash": "0GBgKOJFqe",
"lookupKey": "rescript-lang/rescript:react-component-not-undefined",
"data": {
"owner": "rescript-lang",
"repo": "rescript",
"sha": "dc498815fc68fdfce7c2c3aa5cd9f3adbb4ba897",
"ref": "8500",
"headBranch": "react-component-not-undefined"
}
},
"currentCursor": {
"sha": "c2622dd4bf87d56da53cacd9b52c6bf580fa0694",
"timestamp": 29014309290
},
"pkgPrNewVersion": "0.0.75"
}
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
binaries-darwin-x64
|
13 MB |
sha256:1c21b5f0974aab9f9909007bb59368734bb19d4a337e9f7db780fb6451997fe2
|
|