Skip to content

Add option to automatically merge PRs from bots #10

Add option to automatically merge PRs from bots

Add option to automatically merge PRs from bots #10

Triggered via pull request May 29, 2024 08:16
Status Success
Total duration 4m 28s
Artifacts

ci-pip-tools.yml

on: pull_request
Matrix: test-pip-tools
Fit to window
Zoom out
Zoom in