Skip to content

Ignore PRs once repo is archived #112

Ignore PRs once repo is archived

Ignore PRs once repo is archived #112

Triggered via pull request November 23, 2023 16:31
Status Skipped
Total duration 3s
Artifacts
auto-merge-dependabot-prs  /  auto-merge-dependabot-prs
0s
auto-merge-dependabot-prs / auto-merge-dependabot-prs
Fit to window
Zoom out
Zoom in