permit build attempts with different versions

this improves the case of pushing 10 commits; it should trigger all 10 builds.
previously the attempted builds would not save the version that triggered
them, so the later attempts could not know that their versions are not
redundant until the build started.