It appears our scripts that bump versions are not doing so consistently over the project and there are descrepancies:
and at the time of writing, dockerhub has our latest release at 0.4.213
I believe the tag from docker is the correct version, and the others have just not updated correctly. There also may be more than I found with this quick search
It appears our scripts that bump versions are not doing so consistently over the project and there are descrepancies:
mir-semantics/kmir/pyproject.toml
Line 7 in c13f46e
mir-semantics/package/version
Line 1 in c13f46e
and at the time of writing, dockerhub has our latest release at 0.4.213
I believe the tag from docker is the correct version, and the others have just not updated correctly. There also may be more than I found with this quick search