## GitHub Using the config file from the repo - If benchmark branch does not exist create and push - Push pending status to commit - Fetch or run benchmark for current branch head (publish - Compare current to target - Fetch or run benchmark for target branch head (publish after run) - Compare current to parent - Push failing or success status to commit - Create or update comment on pull request ### Notes - https://github.com/purescript/purescript
GitHub
Using the config file from the repo
Notes