Merge branch 'bugfixes/coverage-not-run-properly-anymore' into 'master'
Correction of the coverage reporting
See merge request akantu/akantu!43
Description
Description
Details
Details
- Committed
richart Oct 21 2021, 08:22 - Pushed
gitlab-richart Oct 21 2021, 08:23 - Parents
- rAKA3cf041b128f7: Correction of the coverage reporting
rAKA9b728e0b714b: Merge branch 'features/changelog' into 'master' - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 3cf041b128f7 | richart | Correction of the coverage reporting | Oct 21 2021 |