google-deepmind/dm_env

Could we get a git tag for the v1.5 release?

samuela opened this issue · 2 comments

samuela commented

I just noticed that there's no git tag for the 1.5 release. It's not a huge deal, but it would be convenient for build systems for there to be a tag for each release. Could we get the v1.5 commit tagged as well?

alimuldal commented

Thanks, I'd added the tag but forgotten to push it.

  • 👍1
samuela commented

Great, thanks @alimuldal !