search

gap-packages / guava

GAP package guava - computations relative to error-correcting codes
https://gap-packages.github.io/guava
Other
13 stars 7 forks source link

Use TmpName instead of TmpNameAllArchs #92

Closed fingolfin closed 10 months ago

fingolfin commented 10 months ago

There are only differences between the two in older GAP versions, and only in Cygwin. In recent GAP versions, the latter is just an alias for the former, and TmpNameAllArchs has been deprecated. Indeed guava is the last package still using it.

codecov[bot] commented 10 months ago

Codecov Report

Merging #92 (1343183) into master (42e3119) will not change coverage. The diff coverage is 42.85%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #92 +/- ## ======================================= Coverage 49.25% 49.25% ======================================= Files 44 44 Lines 14710 14710 Branches 203 203 ======================================= Hits 7245 7245 Misses 7465 7465 ``` | [Files](https://app.codecov.io/gh/gap-packages/guava/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=gap-packages) | Coverage Δ | | |---|---|---| | [lib/codeman.gi](https://app.codecov.io/gh/gap-packages/guava/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=gap-packages#diff-bGliL2NvZGVtYW4uZ2k=) | `27.58% <0.00%> (ø)` | | | [lib/codeops.gi](https://app.codecov.io/gh/gap-packages/guava/pull/92?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=gap-packages#diff-bGliL2NvZGVvcHMuZ2k=) | `44.87% <54.54%> (ø)` | |