Added coverage targets to Makefile.am for convenience. (#2039)
#3033
| Job | Run time |
|---|---|
| 28m 38s | |
| 28m 38s | |
| 29m 31s | |
| 1h 26m 47s |
Makefile.am for convenience. (#2039)
#3033
| Job | Run time |
|---|---|
| 28m 38s | |
| 28m 38s | |
| 29m 31s | |
| 1h 26m 47s |