tree 0a9826da148a95f16cbfba0aa7db23b875b63af1
parent 170db7cd015098a83178a59961344f7717fb5efa
author Lasse Reichstein Holst Nielsen <lrn@google.com> 1623245790 +0200
committer Lasse Reichstein Holst Nielsen <lrn@google.com> 1623245790 +0200

Switch to github actions.

Fix formatting.