Skip to content
.github/workflows/pr-title.yaml

🌱 tilt: delete at correct index to remove --leader-elect flag for catalogd #5765

Sign in to view logs

🌱 tilt: delete at correct index to remove --leader-elect flag for catalogd

🌱 tilt: delete at correct index to remove --leader-elect flag for catalogd #5765

GitHub Actions / PR Type succeeded Jul 30, 2025 in 2m 27s

PR Type in Title

Found 🌱 PR (infra)

Details

Final title:

tilt: delete at correct index to remove --leader-elect flag for catalogd
View more details on GitHub Actions