Skip to content
Issue automations

Some PRs are not moved from Approved to Merged after they are merged #1075

Sign in to view logs

Some PRs are not moved from Approved to Merged after they are merged

Some PRs are not moved from Approved to Merged after they are merged #1075

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Perform issue automations
13s
13s