Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add script to post results to GitHub #153

Merged
merged 30 commits into from
Jun 21, 2024
Merged

Add script to post results to GitHub #153

merged 30 commits into from
Jun 21, 2024

Conversation

petechd
Copy link
Contributor

@petechd petechd commented Apr 24, 2024

What is the context of this PR?

This adds new CI script to allow us to output benchmark results to Github PR comments. It is required for the wider Dependabot pipeline changes.

How to review

Since it is integrated into the pipeline changes it needs to be tested as part of the pipeline.

dependabot bot and others added 25 commits April 24, 2024 10:45
Bumps the pip group with 2 updates in the / directory: [black](https://github.com/psf/black) and [jwcrypto](https://github.com/latchset/jwcrypto).

Updates `black` from 24.2.0 to 24.3.0
- [Release notes](https://github.com/psf/black/releases)
- [Changelog](https://github.com/psf/black/blob/main/CHANGES.md)
- [Commits](psf/black@24.2.0...24.3.0)

Updates `jwcrypto` from 1.5.4 to 1.5.6
- [Release notes](https://github.com/latchset/jwcrypto/releases)
- [Commits](latchset/jwcrypto@v1.5.4...v1.5.6)

---
updated-dependencies:
- dependency-name: black
  dependency-type: direct:development
  dependency-group: pip-security-group
- dependency-name: jwcrypto
  dependency-type: indirect
  dependency-group: pip-security-group
...

Signed-off-by: dependabot[bot] <[email protected]>

Add dynamic PR number
Copy link
Contributor

@berroar berroar left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Needs a PR description 😅

scripts/benchmark_stats.py Outdated Show resolved Hide resolved
@petechd petechd changed the title Add post to GitHub script Add script to post results to GitHub May 8, 2024
Copy link
Contributor

@liamtoozer liamtoozer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Seen this working in PRs, looks good to me! 👍

@petechd petechd merged commit 54e056a into main Jun 21, 2024
3 checks passed
@petechd petechd deleted the post-to-github-script branch June 21, 2024 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants