GitHub actions: use checkout v3#7245

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/checkout-v3tautschnig/cbmc:cleanup/checkout-v3Copy head branch name to clipboard