Add CI jobs

[dmehala]

Add GitHub Actions workflow running on all branches by default on push or it can be triggered manually. It does the following:

• Check the formatting.
• Execute tests.
• Render a quick code coverage as a GitHub job summary.