Skip to content

Keep the stepper and View error when a state error cannot be marked, and put State Machine next to Verification - #161

Merged
CatarinaGamboa merged 2 commits into
mainfrom
feat/state-error-without-context
Oct 26, 2026
Merged

Keep the stepper and View error when a state error cannot be marked, and put State Machine next to Verification#161
CatarinaGamboa merged 2 commits into
mainfrom
feat/state-error-without-context

Put the State Machine tab next to Verification (#162)

523d7c3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar