Currently, they run independently of each other, letting a file without backward-compatibility get generated and deployed to multiple repositories. This is still useful when we are working on new message types, but harmful when updating existing ones.
Currently, we only test that we can build the new protocol buffer files with nanopb, and checkout a PR on WipperSnapper Arduino. We've recently run into cases where the generated files do not compile in the WipperSnapper Arduino repo. This could be solved by requiring this repo's workflow to build the WS arduino firmware for one test hardware case.
The workflows in this repository were created a while ago, and need some enhancements.