Label conflicting PRs

Update worldedit to v7.2.18 (#4271) #164

Sign in to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via push December 22, 2023 16:35

NotMyFault

main

Status Success

Total duration 8m 51s

Artifacts –

label-merge-conflicts.yaml

on: push