Skip to content

Remove Makefile and run fmt task in GH actions#812

Merged
dbanck merged 2 commits intomainfrom f-remove-makeMar 2, 2022