message: Check that autogenerated files are up to date.
diff: @@ -17,6 +17,6 @@ pip install pytest-cov
  pytest
  # check auto-gen files up-to-date
  -# docs/Operators.md
  python onnx/defs/gen_doc.py -o docs/Operators.md
  -git diff --exit-code docs/Operators.md
  +python onnx/gen_proto.py
  +git diff --exit-code
  