search

oscar-system / Polymake.jl

Interface to Polymake using CxxWrap
Other
29 stars 19 forks source link

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

Closed lgoettgens closed 9 months ago

lgoettgens commented 9 months ago

This project currently uses @v2. See https://github.com/oscar-system/Oscar.jl/pull/3334

benlorenz commented 9 months ago

I have included a bunch of actions updates (including codecov) in https://github.com/oscar-system/Polymake.jl/pull/469.

lgoettgens commented 9 months ago

I haven't seen that, sorry for the unnecessary notification