Skip to content
Lint PR title

chore: skip tracking judge results that were not sampled #1366

Sign in to view logs

chore: skip tracking judge results that were not sampled

chore: skip tracking judge results that were not sampled #1366

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint-pr-title / Verify the PR title matches conventional commit spec.
5s
5s