Skip to content

Rename branch master to main in CI lint #6

Rename branch master to main in CI lint

Rename branch master to main in CI lint #6

Triggered via pull request December 19, 2023 05:35
Status Success
Total duration 21s
Artifacts

lint-check.yml

on: pull_request
openapi-lint
10s
openapi-lint
grpc-proto-lint
3s
grpc-proto-lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
grpc-proto-lint
No github_token supplied, API requests will be subject to stricter rate limiting