Skip to content
Close and merge PR

Host: notify separately for new heads and new validated heads #1200

Sign in to view logs

Host: notify separately for new heads and new validated heads

Host: notify separately for new heads and new validated heads #1200

Run time

Learn about OS pricing on GitHub Actions
Job Run time
merge_job
1s
1s