This GitHub Action fails if there are examples deleted in pull requests. Sometimes this happens when increasing format version. For the moment it might be sufficient if this Action isn't required, the red cross typically is frightening already enough.
This GitHub Action fails if there are examples deleted in pull requests. Sometimes this happens when increasing format version. For the moment it might be sufficient if this Action isn't required, the red cross typically is frightening already enough.