Skip to content

Remove global prefix from GlobalOpts field names #1972

Remove global prefix from GlobalOpts field names

Remove global prefix from GlobalOpts field names #1972

Triggered via pull request January 14, 2024 13:29
Status Success
Total duration 1m 14s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Linting: .hlint.yaml#L75
75:7 [comments-indentation] comment not indented like content
Linting: .hlint-test.yaml#L14
14:7 [comments-indentation] comment not indented like content