Code

chore/tune-github-action#277

Code

Closed

zingmane wants to merge 4 commits intoAC#1034/change-checkcampudus/tableaux:AC#1034/change-checkfrom chore/tune-github-actioncampudus/tableaux:chore/tune-github-actionCopy head branch name to clipboard

+23-11

Commits

Commits on Oct 25, 2023

• run action also for branches with / in name

  zingmane

  committed
  80f9719

• on branch show coverage only for changed files

  zingmane

  committed
  3fe658d

• test different coverage summary report

  zingmane

  committed
  4f0c9f0

• update Coverage PR Comment

  zingmane

  committed
  447bcd6