Skip to content

Prepare the CI to easily merge dependabot PRs #718

Prepare the CI to easily merge dependabot PRs

Prepare the CI to easily merge dependabot PRs #718

Triggered via pull request November 17, 2023 03:14
Status Cancelled
Total duration 1s
Artifacts

devtools-workflow.yaml

on: pull_request
Bump app version using PR labels
Bump app version using PR labels
Delete the bot comments on the PR.
Delete the bot comments on the PR.
Determine the size of the PR
Determine the size of the PR
Fit to window
Zoom out
Zoom in

Annotations

1 error
Dev tools workflow
Canceling since a higher priority waiting request for 'refs/pull/894/merge' exists