Skip to content

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

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

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

Workflow file for this run

name: Lint Python
on: [push, pull_request]
jobs:
lint:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: psf/black@stable