Skip to content

build: standardize check name - #115

Merged
jpoehnelt merged 1 commit into
mainfrom
build/standardize-check-names
May 10, 2022
Merged

build: standardize check name#115
jpoehnelt merged 1 commit into
mainfrom
build/standardize-check-names

Commits

Commits on May 10, 2022