* Fix formatting. * Ignore formatting revision. * Add github action for build and formatting. * Remove old build files.