The build broke - 20 edits later it came back clean. Nothing counts as done until the build runs clean. The build failed with 1 error. 20 edits to input.py and proof.py later, it came back clean.

Where this happened.

Source events.

Detected mechanically by the build_fix detector from 5 telemetry event(s):

  • 48c36c5d-909d-465a-ad0b-b5ccac54b7b6
  • ae957d33-b762-4848-b73d-79953483017e
  • d9910ac3-1c44-4258-8c1f-a43a76ca40eb
  • 4d525acd-6d16-426a-9572-09102cb0ee2e
  • a4f0506b-58fa-4f67-b26f-358bdf6e11cc