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

avoid trivial function wrappers id ForAll #60

Merged
merged 1 commit into from
Jan 8, 2024

avoid trivial function wrappers id ForAll

16f451a
Select commit
Loading
Failed to load commit list.
Merged

avoid trivial function wrappers id ForAll #60

avoid trivial function wrappers id ForAll
16f451a
Select commit
Loading
Failed to load commit list.
This check has been archived and is scheduled for deletion. Learn more about checks retention
Codecov / codecov/patch failed Jan 8, 2024 in 1s

43.47% of diff hit (target 74.35%)

View this Pull Request on Codecov

43.47% of diff hit (target 74.35%)

Annotations

Check warning on line 391 in lib/gpd.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpd.gi#L391

Added line #L391 was not covered by tests

Check warning on line 401 in lib/gpd.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpd.gi#L401

Added line #L401 was not covered by tests

Check warning on line 412 in lib/gpd.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpd.gi#L412

Added line #L412 was not covered by tests

Check warning on line 427 in lib/gpd.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpd.gi#L427

Added line #L427 was not covered by tests

Check warning on line 437 in lib/gpd.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpd.gi#L437

Added line #L437 was not covered by tests

Check warning on line 179 in lib/gpdgraph.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpdgraph.gi#L179

Added line #L179 was not covered by tests

Check warning on line 184 in lib/gpdgraph.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpdgraph.gi#L184

Added line #L184 was not covered by tests

Check warning on line 189 in lib/gpdgraph.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpdgraph.gi#L189

Added line #L189 was not covered by tests

Check warning on line 480 in lib/gpdhom.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpdhom.gi#L480

Added line #L480 was not covered by tests

Check warning on line 505 in lib/gpdhom.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/gpdhom.gi#L505

Added line #L505 was not covered by tests

Check warning on line 341 in lib/grpgraph.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/grpgraph.gi#L341

Added line #L341 was not covered by tests

Check warning on line 346 in lib/grpgraph.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/grpgraph.gi#L346

Added line #L346 was not covered by tests

Check warning on line 351 in lib/grpgraph.gi

See this annotation in the file changed.

@codecov codecov / codecov/patch

lib/grpgraph.gi#L351

Added line #L351 was not covered by tests