This repository was archived by the owner on Sep 30, 2024. It is now read-only.
chore: use report-job-failure from sourcegraph/workflows in github actions#64540
Open
burmudar wants to merge 1 commit into
Open
chore: use report-job-failure from sourcegraph/workflows in github actions#64540burmudar wants to merge 1 commit into
burmudar wants to merge 1 commit into