tree e4edf3769992abf3ed17966d7247477584d23fef
parent a768ba1666fbd02fb55678de12ec62f9a6d95aeb
author Johnathan Van Why <jrvanwhy@google.com> 1592429213 -0700
committer Johnathan Van Why <jrvanwhy@google.com> 1592503389 -0700

Add a GitHub Actions workflow that prints a size diff for incoming PRs.