Add Github actions covering: - CI - coverage - auto code formatting - tagging - compatibility check - etc.
