Update python-package.yml #3
philzook58Annotations
33 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 (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:21: F401 `.kernel.lemma` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:28: F401 `.kernel.axiom` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:35: F401 `.kernel.define` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L2
knuckledragger/__init__.py:2:15: F401 `.notation` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:28: F401 `knuckledragger.lemma` imported but unused
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:35: F401 `knuckledragger.axiom` imported but unused
|
|
Ruff (E741):
knuckledragger/utils.py#L62
knuckledragger/utils.py:62:17: E741 Ambiguous variable name: `l`
|
|
Ruff (E711):
knuckledragger/utils.py#L162
knuckledragger/utils.py:162:19: E711 Comparison to `None` should be `cond is None`
|
|
build (3.11)
Process completed with exit code 2.
|
|
build (3.10)
Process completed with exit code 2.
|
|
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 (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:21: F401 `.kernel.lemma` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:28: F401 `.kernel.axiom` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:35: F401 `.kernel.define` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L2
knuckledragger/__init__.py:2:15: F401 `.notation` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:28: F401 `knuckledragger.lemma` imported but unused
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:35: F401 `knuckledragger.axiom` imported but unused
|
|
Ruff (E741):
knuckledragger/utils.py#L62
knuckledragger/utils.py:62:17: E741 Ambiguous variable name: `l`
|
|
Ruff (E711):
knuckledragger/utils.py#L162
knuckledragger/utils.py:162:19: E711 Comparison to `None` should be `cond is None`
|
|
build (3.9)
Process completed with exit code 2.
|
|
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 (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:21: F401 `.kernel.lemma` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:28: F401 `.kernel.axiom` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L1
knuckledragger/__init__.py:1:35: F401 `.kernel.define` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/__init__.py#L2
knuckledragger/__init__.py:2:15: F401 `.notation` imported but unused; consider removing, adding to `__all__`, or using a redundant alias
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:28: F401 `knuckledragger.lemma` imported but unused
|
|
Ruff (F401):
knuckledragger/theories/Int.py#L2
knuckledragger/theories/Int.py:2:35: F401 `knuckledragger.axiom` imported but unused
|
|
Ruff (E741):
knuckledragger/utils.py#L62
knuckledragger/utils.py:62:17: E741 Ambiguous variable name: `l`
|
|
Ruff (E711):
knuckledragger/utils.py#L162
knuckledragger/utils.py:162:19: E711 Comparison to `None` should be `cond is None`
|
|
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/
|
|
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/
|