Closed artivis closed 3 years ago
Merging #235 (318b660) into devel (68bbad8) will increase coverage by
0.19%
. The diff coverage isn/a
.
@@ Coverage Diff @@
## devel #235 +/- ##
==========================================
+ Coverage 97.71% 97.91% +0.19%
==========================================
Files 49 49
Lines 1531 1532 +1
==========================================
+ Hits 1496 1500 +4
+ Misses 35 32 -3
Fix doc generation in CI after merging #233.
Now build doc on PRs too but still deploy only on push to
devel
.