Skip to content
Lint PR title

chore: avoid using bigint for metrics #1847

Sign in to view logs

chore: avoid using bigint for metrics

chore: avoid using bigint for metrics #1847

Triggered via pull request September 11, 2023 04:17
@twoethstwoeths
synchronize #5926
Status Success
Total duration 11s
Artifacts –

lint-pr-title.yml

on: pull_request_target
Validate PR title
2s
Validate PR title
Fit to window
Zoom out
Zoom in