cvc5 1.1.0 -> 1.1.1 https://github.com/cvc5/cvc5/releases
attrpath: cvc5
Checking auto update branch...
An auto update branch exists with message `cvc5: 1.1.0 -> 1.1.1`. New version is 1.1.1.
An auto update branch exists with an equal or greater version