Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: arduino-ide 2.3.7 -> 2.3.10 https://github.com/arduino/arduino-ide/releases attrpath: arduino-ide Checking auto update branch... An auto update branch exists with message `arduino-ide: 2.3.7 -> 2.3.10`. New version is 2.3.10. An auto update branch exists with an equal or greater version