updated readme #12
Annotations
7 errors and 1 warning
|
docs/conf.py#L16
docs/conf.py:16:1: E402 Module level import not at top of file
|
|
docs/conf.py#L17
docs/conf.py:17:1: E402 Module level import not at top of file
|
|
knuckledragger/tactics.py#L84
knuckledragger/tactics.py:84:20: E713 Test for membership should be `not in`
|
|
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:26: F401 `knuckledragger` imported but unused
|
|
knuckledragger/utils.py#L1
knuckledragger/utils.py:1:35: F401 `knuckledragger.kernel.lemma` imported but unused
|
|
tests/test_kernel.py#L8
tests/test_kernel.py:8:43: F401 `knuckledragger.theories.Complex` imported but unused
|
|
|
|
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/setup-python@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
This job succeeded
Loading