Workspace CI job clean up#4459

joostjager wants to merge 1 commit intolightningdevkit:mainlightningdevkit/rust-lightning:mainfrom

joostjager:ci-cleanup-redundant-checksjoostjager/rust-lightning:ci-cleanup-redundant-checksCopy head branch name to clipboard