search

homalg-project / LazyCategories

[READ-ONLY-SUBSPLIT] Construct an equivalent lazy category out of a CAP category
https://homalg-project.github.io/pkg/LazyCategories
GNU General Public License v2.0
0 stars 2 forks source link

Apply PackageJanitor #8

Closed zickgraf closed 3 years ago

zickgraf commented 3 years ago

If there is a PR 'Apply PackageJanitor to gh-pages', please merge both PRs together.

codecov[bot] commented 3 years ago

Codecov Report

Merging #8 (479b3db) into master (9294e5d) will not change coverage. The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master       #8   +/-   ##
=======================================
  Coverage   70.49%   70.49%           
=======================================
  Files           6        6           
  Lines         793      793           
=======================================
  Hits          559      559           
  Misses        234      234

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 9294e5d...479b3db. Read the comment docs.