Skip to content

Add make targets for common checks + fixes#661

Merged
radeksimko merged 1 commit intomainfrom
add-makefile
Feb 26, 2024
Merged

Add make targets for common checks + fixes#661
radeksimko merged 1 commit intomainfrom
add-makefile

Commits

Commits on Feb 16, 2024