PR #11 chore: clean up makefile with defunct docker command

chore: clean up makefile with defunct docker command #11

KevinLuong96 merged 1 commit into main from remove_docker_make_command

chore: clean up makefile with defunct docker command

889ee581

KevinLuong96 requested a review 1 year ago

lusmoura approved these changes on 2024-04-23

KevinLuong96 merged 276cc379 into main 1 year ago

KevinLuong96 deleted the remove_docker_make_command branch 1 year ago

Reviewers

lusmoura

Assignees

No one assigned

Labels

None yet

Milestone

No milestone