search

alpha-asp / Alpha

A lazy-grounding Answer-Set Programming system
BSD 2-Clause "Simplified" License
58 stars 10 forks source link

core: fix vendored path config for benchmark files #333

Closed madmike200590 closed 2 years ago

madmike200590 commented 2 years ago

This is a leftover from PR #274: The path benchmarks/**, containing an enormous amount of ASP sources, should be marked as vendored, i.e. excluded from github statistics. Since the folder in question got moved into alpha-core, we need to adapt the config in .gitattributes accordingly.

codecov[bot] commented 2 years ago

Codecov Report

Merging #333 (96be6e1) into master (d42818a) will not change coverage. The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff            @@
##             master     #333   +/-   ##
=========================================
  Coverage     70.23%   70.23%           
  Complexity     2123     2123           
=========================================
  Files           182      182           
  Lines          8023     8023           
  Branches       1423     1423           
=========================================
  Hits           5635     5635           
  Misses         2028     2028           
  Partials        360      360

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 d42818a...96be6e1. Read the comment docs.