Skip to content

Makefile: add check target#2953

Merged
bors[bot] merged 1 commit intomasterfrom makefile-add-check-targetJun 14, 2022

Commits

Commits on Jun 14, 2022