![]() We disabled coverage calculation for most of CI in #11017, but the olddeps build uses a separate script and got forgotten. |
||
---|---|---|
.. | ||
.gitignore | ||
11215.feature | ||
11615.misc | ||
11655.feature | ||
11868.feature | ||
11876.misc | ||
11880.misc | ||
11884.misc | ||
11888.misc |
![]() We disabled coverage calculation for most of CI in #11017, but the olddeps build uses a separate script and got forgotten. |
||
---|---|---|
.. | ||
.gitignore | ||
11215.feature | ||
11615.misc | ||
11655.feature | ||
11868.feature | ||
11876.misc | ||
11880.misc | ||
11884.misc | ||
11888.misc |