Skip to content
Lint Python

gui: Make drc marker blink when selected as for mouse over. #1620

Sign in to view logs

gui: Make drc marker blink when selected as for mouse over.

gui: Make drc marker blink when selected as for mouse over. #1620

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
1m 15s
1m 15s