Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: agdaPackages.standard-library 2.3 -> 2.4 https://github.com/agda/agda-stdlib/releases
attrpath: agdaPackages.standard-library
Checking auto update branch...
An auto update branch exists with message `agdaPackages.standard-library: 2.3 -> 2.4`. New version is 2.4.
An auto update branch exists with an equal or greater version