An error occurred while fetching this tab.
ci: update the github action name to match its title
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Created by: davejrt
Updates the job name to match its title in all steps trying to fix sourcegraph/sourcegraph#35635
https://github.com/sourcegraph/infrastructure/pull/3409 a green run on this PR
Created by Sourcegraph batch change dave/change_action_name
.
Push commits to the source branch or add previously merged commits to review them.