jump-dev / jump-dev/benchmarks

Development TODOs

Open
#1 1 comment 0 reactions 0 assignees View on GitHub
Dominant language
Julia
Stars
21
Forks
0
PR merge metrics
No merged PRs in 30d

Description

- CI
- [x] Add CI and tests to check correctness (just run once, don't benchmark)
- [x] Add formatter
- Tidy the dashboard
- [ ] Add a text-box that filters benchmarks
- [ ] Add some explanatory text
- [x] Fix handling of dates in x-axis
- [x] Make logo link back to jump.dev
- New features
- [x] Add aggregated statistics. We should compute some sort of geometric mean of the times, scaled to 100 on day 1.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.