Skip to content

ci: Add Makefile and move some content from pre-commit#121

Merged
tembleking merged 4 commits intomasterfrom
ci-add-makefile
Sep 2, 2022
Merged

ci: Add Makefile and move some content from pre-commit#121
tembleking merged 4 commits intomasterfrom
ci-add-makefile

Commits

Commits on Aug 31, 2022

Commits on Sep 2, 2022