PR labels

Ore Dictionary Filter Update #2040

Sign in to view logs

Summary
Jobs
- Labels
Run details
- Usage
- Workflow file

Triggered via pull request December 14, 2023 10:56

Tictim

synchronize #2296

Tictim:oreglobupdate2

Status Cancelled

Total duration 17s

Artifacts –

pr_labels.yml

on: pull_request

Annotations

1 error

Canceling since a higher priority waiting request for 'pr-labels-oreglobupdate2' exists