Closed ldr709 closed 1 year ago
Hi, yes indeed it is missing. Sadly the tagging process on github is still manual and the people looking at it are on vacation
any news ? I would like to push the version for OR-Tools
We had an issue with a wrongly placed tag. We corrected this and the v804 tag is now on github.
I see from your news page that SCIP 8.0.4 has been released, but there is no corresponding tag here on this mirror. Could you please add a tag to indicate which commit corresponds to 8.0.4?