updated readme #12
philzook58Annotations
21 errors and 3 warnings
|
Ruff (E402):
docs/conf.py#L16
docs/conf.py:16:1: E402 Module level import not at top of file
|
|
Ruff (E402):
docs/conf.py#L17
docs/conf.py:17:1: E402 Module level import not at top of file
|
|
Ruff (E713):
knuckledragger/tactics.py#L84
knuckledragger/tactics.py:84:20: E713 Test for membership should be `not in`
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:26: F401 `knuckledragger` imported but unused
|
|
Ruff (F401):
knuckledragger/utils.py#L1
knuckledragger/utils.py:1:35: F401 `knuckledragger.kernel.lemma` imported but unused
|
|
Ruff (F401):
tests/test_kernel.py#L8
tests/test_kernel.py:8:43: F401 `knuckledragger.theories.Complex` imported but unused
|
|
build (3.9)
Process completed with exit code 1.
|
|
Ruff (E402):
docs/conf.py#L16
docs/conf.py:16:1: E402 Module level import not at top of file
|
|
Ruff (E402):
docs/conf.py#L17
docs/conf.py:17:1: E402 Module level import not at top of file
|
|
Ruff (E713):
knuckledragger/tactics.py#L84
knuckledragger/tactics.py:84:20: E713 Test for membership should be `not in`
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:26: F401 `knuckledragger` imported but unused
|
|
Ruff (F401):
knuckledragger/utils.py#L1
knuckledragger/utils.py:1:35: F401 `knuckledragger.kernel.lemma` imported but unused
|
|
Ruff (F401):
tests/test_kernel.py#L8
tests/test_kernel.py:8:43: F401 `knuckledragger.theories.Complex` imported but unused
|
|
build (3.11)
Process completed with exit code 1.
|
|
Ruff (E402):
docs/conf.py#L16
docs/conf.py:16:1: E402 Module level import not at top of file
|
|
Ruff (E402):
docs/conf.py#L17
docs/conf.py:17:1: E402 Module level import not at top of file
|
|
Ruff (E713):
knuckledragger/tactics.py#L84
knuckledragger/tactics.py:84:20: E713 Test for membership should be `not in`
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:26: F401 `knuckledragger` imported but unused
|
|
Ruff (F401):
knuckledragger/utils.py#L1
knuckledragger/utils.py:1:35: F401 `knuckledragger.kernel.lemma` imported but unused
|
|
Ruff (F401):
tests/test_kernel.py#L8
tests/test_kernel.py:8:43: F401 `knuckledragger.theories.Complex` imported but unused
|
|
build (3.10)
Process completed with exit code 1.
|
|
build (3.9)
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/
|
|
build (3.11)
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/
|
|
build (3.10)
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/
|