CI does not catch missing generated files
It seems that our CI, although it detects diffs on generated files, does not check that all files are here. As an example, I just pushed a missing file in b32bbccf.
It seems that our CI, although it detects diffs on generated files, does not check that all files are here. As an example, I just pushed a missing file in b32bbccf.