Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: casadi 3.7.2 -> 3.8.0 https://github.com/casadi/casadi/releases
attrpath: casadi
Checking auto update branch...
No auto update branch exists
There might already be an open PR for this update:
- blasfeo: 0.1.4.2 -> 0.1.4.3, hpipm: 0.1.3-unstable-2025-07-25 -> 0.1.4, casadi: 3.7.2 -> 3.8.0
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/546606"