chore: use report-job-failure from sourcegraph/workflows in github actions#739

burmudar merged 1 commit intomainsourcegraph/scip-java:mainfrom

batches/use-sg-workflows-report-failuresourcegraph/scip-java:batches/use-sg-workflows-report-failureCopy head branch name to clipboard