GitHub actions: No need for setup-nuget#7917

NlightNFotis merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:cleanup/remove-setup-nugettautschnig/cbmc:cleanup/remove-setup-nugetCopy head branch name to clipboard