Currently, the olddeps ci job specifies nixos-25.05 channel, but this is ignored in local ci runs, because the channel is set in .github/workflows/ci.yml not ci/scripts/run.sh.
Fix this and also rename CI environment variables to consistently use CI_ prefix