Problem Description
Although there was a style check script in the scripts directory, this was not being automatically checked when merging PRs. Therefore some PRs got merged without proper style checks.
This PR adds a style check using github actions, as well as the fixed style on the source code
Problem Description Although there was a style check script in the
scripts
directory, this was not being automatically checked when merging PRs. Therefore some PRs got merged without proper style checks.This PR adds a style check using github actions, as well as the fixed style on the source code