Skip to content

types: Make Data type-parameter optional in JsonRpcError #44

types: Make Data type-parameter optional in JsonRpcError

types: Make Data type-parameter optional in JsonRpcError #44

Triggered via pull request August 23, 2023 13:51
Status Success
Total duration 1m 34s
Artifacts

main.yml

on: pull_request
Build, lint, and test  /  Prepare
17s
Build, lint, and test / Prepare
Check workflows
7s
Check workflows
Matrix: Build, lint, and test / Build source
Matrix: Build, lint, and test / Build types
Matrix: Build, lint, and test / Lint
Matrix: Build, lint, and test / Test
All jobs completed
0s
All jobs completed
All jobs pass
2s
All jobs pass
is-release
0s
is-release
Publish release  /  publish-release
Publish release / publish-release
Publish release  /  publish-npm-dry-run
Publish release / publish-npm-dry-run
Publish release  /  publish-npm
Publish release / publish-npm
Publish release  /  get-release-version
Publish release / get-release-version
Publish release  /  ...  /  Publish docs to GitHub Pages
Publish release / Publish docs to `latest` directory of `gh-pages` branch / Publish docs to GitHub Pages
publish-release  /  ...  /  Publish docs to GitHub Pages
publish-release / publish-release-to-gh-pages / Publish docs to GitHub Pages
Fit to window
Zoom out
Zoom in