Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Recursive Function (Region counting) #895

Draft
wants to merge 15 commits into
base: vara-dev
Choose a base branch
from

Merge branch 'refs/heads/vara-dev' into hiwi-Gabrian

f39e237
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Recursive Function (Region counting) #895

Merge branch 'refs/heads/vara-dev' into hiwi-Gabrian
f39e237
Select commit
Loading
Failed to load commit list.
GitHub Actions / mypy failed Nov 6, 2024 in 0s

reviewdog [mypy] report

reported by reviewdog 🐶

Findings (4)

varats/varats/projects/perf_tests/feature_perf_cs_collection.py|268 col 13| error: Name "get_local_project_git_path" is not defined [name-defined]
varats/varats/projects/perf_tests/feature_perf_cs_collection.py|325 col 13| error: Name "get_local_project_git_path" is not defined [name-defined]
varats/varats/projects/perf_tests/feature_perf_cs_collection.py|382 col 13| error: Name "get_local_project_git_path" is not defined [name-defined]
varats/varats/projects/perf_tests/feature_perf_cs_collection.py|439 col 13| error: Name "get_local_project_git_path" is not defined [name-defined]

Filtered Findings (0)

Annotations

Check failure on line 268 in varats/varats/projects/perf_tests/feature_perf_cs_collection.py

See this annotation in the file changed.

@github-actions github-actions / mypy

[mypy] varats/varats/projects/perf_tests/feature_perf_cs_collection.py#L268

error: Name "get_local_project_git_path" is not defined  [name-defined]
Raw output
varats/varats/projects/perf_tests/feature_perf_cs_collection.py:268:13: error: Name "get_local_project_git_path" is not defined  [name-defined]

Check failure on line 325 in varats/varats/projects/perf_tests/feature_perf_cs_collection.py

See this annotation in the file changed.

@github-actions github-actions / mypy

[mypy] varats/varats/projects/perf_tests/feature_perf_cs_collection.py#L325

error: Name "get_local_project_git_path" is not defined  [name-defined]
Raw output
varats/varats/projects/perf_tests/feature_perf_cs_collection.py:325:13: error: Name "get_local_project_git_path" is not defined  [name-defined]

Check failure on line 382 in varats/varats/projects/perf_tests/feature_perf_cs_collection.py

See this annotation in the file changed.

@github-actions github-actions / mypy

[mypy] varats/varats/projects/perf_tests/feature_perf_cs_collection.py#L382

error: Name "get_local_project_git_path" is not defined  [name-defined]
Raw output
varats/varats/projects/perf_tests/feature_perf_cs_collection.py:382:13: error: Name "get_local_project_git_path" is not defined  [name-defined]

Check failure on line 439 in varats/varats/projects/perf_tests/feature_perf_cs_collection.py

See this annotation in the file changed.

@github-actions github-actions / mypy

[mypy] varats/varats/projects/perf_tests/feature_perf_cs_collection.py#L439

error: Name "get_local_project_git_path" is not defined  [name-defined]
Raw output
varats/varats/projects/perf_tests/feature_perf_cs_collection.py:439:13: error: Name "get_local_project_git_path" is not defined  [name-defined]