Skip to content

Keep the live log visible in the proof recording - #5

Merged
TueJon merged 3 commits into
mainfrom
fix/proof-recording-log-viewport
Jul 24, 2026
Merged

Keep the live log visible in the proof recording#5
TueJon merged 3 commits into
mainfrom
fix/proof-recording-log-viewport

docs(proof): refresh recording with always-visible log

4881017
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
check
succeeded Jul 24, 2026 in 15s