Label conflicting PRs

Update worldedit to v7.2.17 (#4222) #23

Sign in to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via push November 2, 2023 20:25

NotMyFault

main

Status Success

Total duration 2m 12s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

label-merge-conflicts.yaml

on: push