Skip to content

Rename branch master to main in CI lint (#19) #7

Rename branch master to main in CI lint (#19)

Rename branch master to main in CI lint (#19) #7

Triggered via push December 24, 2023 10:53
Status Success
Total duration 22s
Artifacts

lint-check.yml

on: push
openapi-lint
12s
openapi-lint
grpc-proto-lint
5s
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