Update CI to use new devenv flake#250

fm7-1 wants to merge 4 commits intomainstackbuilders/hapistrano:mainfrom

update_ci_devenvstackbuilders/hapistrano:update_ci_devenvCopy head branch name to clipboard