Harden GitHub actions#708

chrjabs wants to merge 2 commits into

mainchrjabs/rustsat:mainfrom

push-pnvklxqonnopchrjabs/rustsat:push-pnvklxqonnopCopy head branch name to clipboard