search

oscar-system / Singular.jl

Julia package for the Singular library
Other
30 stars 31 forks source link

CI: update to codecov/codecov-action@v4 #775

Closed lgoettgens closed 5 months ago

lgoettgens commented 5 months ago

Same as https://github.com/oscar-system/Oscar.jl/pull/3334