Add downstream testing

[thofma]

No description provided.

[codecov]

Codecov Report

Merging #799 (374e6cf) into master (c864e2e) will increase coverage by 0.02%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #799      +/-   ##
==========================================
+ Coverage   80.83%   80.86%   +0.02%     
==========================================
  Files          52       52              
  Lines       17779    17779              
==========================================
+ Hits        14372    14377       +5     
+ Misses       3407     3402       -5     

Impacted Files	Coverage Δ
src/generic/SparsePoly.jl	26.75% <0.00%> (-0.36%)	⬇️
src/generic/Poly.jl	91.73% <0.00%> (-0.07%)	⬇️
src/generic/Matrix.jl	91.42% <0.00%> (+0.15%)	⬆️
src/generic/RelSeries.jl	91.44% <0.00%> (+0.25%)	⬆️
src/generic/LaurentSeries.jl	91.98% <0.00%> (+0.32%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update c864e2e...374e6cf. Read the comment docs.

[benlorenz]

The new OscarDevTools version is registered, you can try to re-run the tests.

[thofma]

Nice. It is working as expected. The Oscar release branch failure is expected, since we did not tag a new version (yet). The running time of ~1 hour is also not too bad I think.

[thofma]

I will merge this. If it turns out to take too much time, we have to tweak the settings a bit.