Once the test cases are stabilized, PRs will be open to bump library versions. We would thus like to display the timing difference between the PR and main, as well as the timing differences between the different libraries in a PR comment. Requires #9.