Repository navigation

Workflows - #3

Merged

msalazarm merged 5 commits into

Aug 28, 2022

Merged

Workflows#3
msalazarm merged 5 commits into
stagingfrom
workflows

Commits on Aug 28, 2022
- build lelantus .so in workflow
  Marco
  committed
  b3ebc99
- add codecov
  Marco
  committed
  2fde8e5
- always run coverage upload
  Marco
  committed
  0a0b14c
- add coverage badge for main branch
  Marco
  committed
  88d95eb
- only pull requests
  Marco
  committed
  3b95b08