GitHub Actions linters compared - actionlint, ci-doctor, sherif, octoscan

What each of the four open-source GitHub Actions linters actually catches, where each one stops, and the cheapest way to combine them in CI.