Lint

refs #000: disable metrics by default #25

Sign in to view logs

Triggered via pull request December 19, 2023 11:46

Monska85

synchronize #7

feature/remove_metrics_by_default

Status Success

Total duration 12s

Artifacts –

tflint.yml

on: pull_request

Matrix: tflint