Skip to content

psalm/psalm-github-bot

Folders and files

NameName
Last commit message
Last commit date
Jun 6, 2024
Jan 31, 2024
Jan 31, 2024
Dec 29, 2019
Dec 7, 2019
Oct 1, 2022
Dec 7, 2019
Dec 7, 2019
Apr 10, 2021
Oct 1, 2022
Dec 7, 2019
Jul 12, 2024
Dec 7, 2019
Dec 9, 2019
Jul 12, 2024

Repository files navigation

psalm-github-bot

A GitHub App bot built with Probot that monitors comments for any links to psalm.dev/r/whatever and posts snippets and typecheck results for the snippet.

Deployments

Just create a new release on the 'Releases' tab and Heroku will pick that up automatically.

License

ISC © 2019 Bruce Weirdan weirdan@gmail.com