Skip to content
Debug

GUI: Fix editor line focus with wrapped lines. #477

Sign in to view logs

GUI: Fix editor line focus with wrapped lines.

GUI: Fix editor line focus with wrapped lines. #477

Run time

Learn about OS pricing on GitHub Actions
Job Run time
${{ matrix.config.name }}
0s
Build official RISC-V tests
0s
${{ matrix.config.name }}
0s
0s