Add GitHub Action for linting

[GabrielDougherty]

It would be nice to have a GitHub Action set up for code autoformatting. Maybe we could use the existing Buildifier GitHub Action: https://github.com/thompsonja/bazel-buildifier

[spietras]

I'm always reluctant to enforce automatic formatting because no formatter is perfect and there might be other issues with commit authorship or permission to commit on forks (more points here).

Another option would be just linting. So the action would run a static analysis of code (including logical errors or simply formatting) on each pull request and fail if something is wrong. Then the PR author would need to resolve the errors and format code manually.

What do you think about that?

[GabrielDougherty]

Sure, that is fine with me. Let's do linting.