Update *BSD CI actions to the latest OS versions#8719

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bsd-actionstautschnig/cbmc:bsd-actionsCopy head branch name to clipboard