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

google-deepmind / dm_env

A Python interface for reinforcement learning environments

Apache License 2.0

342 stars 43 forks source link

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

Closed samuela closed 3 years ago

samuela commented 3 years ago

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 3 years ago

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

samuela commented 3 years ago

Great, thanks @alimuldal !