Use new operation info at more places #1698
Merged
Codecov / codecov/patch
failed
Oct 9, 2024 in 0s
60.00% of diff hit (target 82.72%)
View this Pull Request on Codecov
60.00% of diff hit (target 82.72%)
Annotations
Check warning on line 1147 in CAP/gap/Derivations.gi
codecov / codecov/patch
CAP/gap/Derivations.gi#L1147
Added line #L1147 was not covered by tests
Check warning on line 1155 in CAP/gap/Derivations.gi
codecov / codecov/patch
CAP/gap/Derivations.gi#L1155
Added line #L1155 was not covered by tests
Loading