Strip -dev suffix from version number

3 jobs for strip-dev-from-1.2.5 in 2 minutes and 50 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #7281
docker linux amd64
build:linux:amd64

00:01:06

 
  Test
passed #7283
docker linux amd64
deckard:linux:amd64

00:01:44

passed #7282
docker linux amd64
test:linux:amd64

00:01:18