Code

Fix codecov GitHub action.#536

Code

Merged

ruebot merged 2 commits intomainarchivesunleashed/aut:mainfrom codecov-issuearchivesunleashed/aut:codecov-issueCopy head branch name to clipboardMay 25, 2022

Commits

Commits on May 24, 2022

• Fix codecov GitHub action.

  ruebot

  committed
  62d6c6a

  Copy full SHA for 62d6c6a

Commits on May 25, 2022

• Fix codecov GitHub action.

  ruebot

  committed
  056c6a0

  Copy full SHA for 056c6a0