CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2#8383

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:upgrade-cvc5tautschnig/cbmc:upgrade-cvc5Copy head branch name to clipboard