2022-12-24T00:37:43 cbmc 5.71.0 -> 5.73.0 https://github.com/diffblue/cbmc/releases
2022-12-24T00:37:45 attrpath: cbmc
2022-12-24T00:37:45 Checking auto update branch...
2022-12-24T00:37:45 An auto update branch exists with message `cbmc: 5.71.0 -> 5.73.0`. New version is 5.73.0.
2022-12-24T00:37:45 An auto update branch exists with an equal or greater version