Skip to content

feat(code): Add Makefile to fix lints and test in local#751

Merged
romac merged 6 commits intoinformalsystems:mainfrom hoank101:add-makefileFeb 12, 2025

Commits

Commits on Feb 12, 2025