Skip to content

Rename the UNPROVABLE error category to UNKNOWN - #431

Merged
CatarinaGamboa merged 1 commit into
mainfrom
refactor/unknown-category
Oct 27, 2026
Merged

Rename the UNPROVABLE error category to UNKNOWN#431
CatarinaGamboa merged 1 commit into
mainfrom
refactor/unknown-category

Commits

  1. Commits on Oct 27, 2026