search

oscar-system / Polymake.jl

Interface to Polymake using CxxWrap
Other
25 stars 17 forks source link

Rename invalidations CI test #446

Closed lgoettgens closed 11 months ago

lgoettgens commented 11 months ago

In some parts of the GitHub UI, only 'evaluate' is showing, which is not helpful. A more meaningful name alleviates this problem.