To make sure the compiled protos in the git repository are always up to date, we add a GitHub action that checks them by compiling and diffing the files.
