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.

Sign up for GitHub

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

Jump to bottom

Build reporting infra #77

Open
1 of 2 tasks
Tracked by #13
sgammon opened this issue Nov 29, 2022 · 0 comments
Open
1 of 2 tasks
Tracked by #13

Build reporting infra #77

sgammon opened this issue Nov 29, 2022 · 0 comments
Assignees
@sgammon
Labels
🛑 blocked PRs and issues that can't proceed because of code enhancement New feature or request
Milestone
1.0.0

Comments

@sgammon
Copy link
Member

sgammon commented Nov 29, 2022

⚠️ Is your feature request related to a problem? Please describe

We need a way to reliably report benchmarks and build stats that can then get processed into continuous PR checks. This is a new feature.

💡 Describe the solution you'd like

See above.

🤚 Do you want to develop this feature yourself?

  • Yes
  • No
@sgammon sgammon added enhancement New feature or request 🛑 blocked PRs and issues that can't proceed because of code labels Nov 29, 2022
@sgammon sgammon added this to the 1.0.0 milestone Nov 29, 2022
@sgammon sgammon self-assigned this Nov 29, 2022
This was referenced Nov 29, 2022
Open
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@sgammon sgammon

Labels
🛑 blocked PRs and issues that can't proceed because of code enhancement New feature or request
Projects
Elide
Status: No status
Milestone
1.0.0
Development

No branches or pull requests
1 participant
@sgammon