ci: run linters on dev/release changes
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Created by: jhchabran
As mentioned by @leonore in https://github.com/sourcegraph/sourcegraph/pull/40019, making changes on the releases script is broken in CI because the diff detection sees no changes in the pr build type.
sg ci preview
with on 8845f1b215b7ebd18b6e35e8e50c0f4367d077f4
Push commits to the source branch or add previously merged commits to review them.