Label conflicting PRs

Update antlr4 to v4.13.2 (#2868) #1441

Sign in to view logs

Summary
Jobs
- main
Run details
- Usage
- Workflow file

Triggered via push August 5, 2024 01:11

main

Status Success

Total duration 2m 12s

Artifacts –

label-merge-conflicts.yaml

on: push