mgerhardy CI: use dev as version