Update devenv installation (#987)

CI was failing because of this

Author: matiasgarciaisaia

.github/workflows/ci.yml

@@ -23,7 +23,7 @@ jobs:
         with:
           name: devenv
       - name: Install devenv.sh
-        run: nix profile install tarball+https://install.devenv.sh/latest
+        run: nix profile add nixpkgs#devenv
       - name: Cache dependencies
         uses: actions/cache@v4
         with: