Lint

seal5/backends/report/properties/writer.py: fix undefined opcode #575

Sign in to view logs

GitHub Actions / Flake8 succeeded Mar 5, 2025 in 0s

No issues

Flake8 found no issues

View more details on GitHub Actions