- Stuttgart, Germany
- https://david-peter.de/
Sponsors
Block or Report
Block or report sharkdp
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
1,725 contributions in the last year
Less
More
Activity overview
Contribution activity
June 2023
Created 10 commits in 3 repositories
Created a pull request in microsoft/winget-pkgs that received 8 comments
Add version: sharkdp.hyperfine version 0.17.0
Pull request has been created with WinGet Releaser v2
+70
−0
•
8
comments
Opened 3 other pull requests in 2 repositories
sharkdp/hyperfine
2
merged
microsoft/winget-pkgs
1
merged
Reviewed 4 pull requests in 4 repositories
sharkdp/fd
1 pull request
sharkdp/vivid
1 pull request
sharkdp/insect
1 pull request
sharkdp/hexyl
1 pull request
Created an issue in sharkdp/hyperfine that received 6 comments
Winget workflow failed
Well, that didn't take long: https://github.com/sharkdp/hyperfine/actions/runs/5165728774/jobs/9305463989 FYI @sitiom: this is turning out exactly …
6
comments







