Skip to content

Set an unique name for Hlint job#2544

Merged
mergify[bot] merged 2 commits intomasterfrom
jneira/hlint-job-name
Dec 27, 2021
Merged

Set an unique name for Hlint job#2544
mergify[bot] merged 2 commits intomasterfrom
jneira/hlint-job-name

Commits

Commits on Dec 27, 2021