Hello,
noticed this yesterday: I just modified the readme so was confident and just pushed to dev and immediately master. Both workflows got tagged dev. Please delete if duplicate, I didn’t have time to go through everything.
Thanks to the team btw, I love github actions!