.github/workflows/pr-title.yaml

🌱 Remove `prettyUnsatMessage` workaround #136

Sign in to view logs

GitHub Actions / PR Type succeeded Nov 17, 2023 in 4h 8m 23s

PR Type in Title

Found 🌱 PR (infra)

Details

Final title:

Remove `prettyUnsatMessage` workaround

View more details on GitHub Actions