Fix erroneous header info after recent merge #4213

Sign in to view logs

Triggered via pull request July 21, 2023 13:57

msujew

opened #12746

msujew/fix-lint-header

Status Success

Total duration 19m 59s

Artifacts –

ci-cd.yml

on: pull_request

Matrix: build