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

Rename the UNPROVABLE error category to UNKNOWN

dc04a0b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar