Docker release images are no longer published

AMICI-dev / AMICI

Advanced Multilanguage Interface to CVODES and IDAS

https://amici.readthedocs.io/

Other

108 stars 31 forks source link

Docker release images are no longer published #2383

Closed FFroehlich closed 5 months ago

FFroehlich commented 7 months ago

https://hub.docker.com/r/dweindl/amici/tags?page=1

latest & develop get pushed but last versioned tag was 0.20.0

dweindl commented 7 months ago

The recent release images got pushed, but only as latest and not with the respective version number. Those previous ones with version numbers were only the release branches, not the actual release-tagged commits. It was never set up properly and I agree that it would be good to change that. That those release branches didn't get published was because I created them from my fork.

dweindl commented 5 months ago

Now there are additionally images tagged with:

MAJOR.MINOR.PATCH
MAJOR.MINOR (will be updated with the next PATCH release)
MAJOR (will be updated with the next MINOR release)