2022-12-17T03:35:21 cvc5 1.0.2 -> 1.0.3 https://github.com/cvc5/cvc5/releases
2022-12-17T03:35:23 attrpath: cvc5
2022-12-17T03:35:23 Checking auto update branch...
2022-12-17T03:35:24 An auto update branch exists with message `cvc5: 1.0.2 -> 1.0.3`. New version is 1.0.3.
2022-12-17T03:35:24 An auto update branch exists with an equal or greater version