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

Remote reporting of package build times and success #156

Draft
wants to merge 13 commits into
base: main
Choose a base branch
from

Conversation

csweichel
Copy link
Collaborator

Description

This PR enables the remote tracking of package build times and their success rate. To this end it introduces a (long overdue) remote reporter to leeway. As a first server-side implementation of this remote reporter, this PR adds an API-gateway accessibly lambda which pushes metrics to CloudWatch. This is a first step towards providing insight into our build speeds and failure rates.
/hold

@codecov
Copy link

codecov bot commented Jul 1, 2023

Codecov Report

Merging #156 (79ffa83) into main (3bad410) will decrease coverage by 0.01%.
The diff coverage is 0.00%.

@@           Coverage Diff            @@
##            main    #156      +/-   ##
========================================
- Coverage   8.58%   8.58%   -0.01%     
========================================
  Files         20      20              
  Lines       3320    3321       +1     
========================================
  Hits         285     285              
- Misses      2983    2984       +1     
  Partials      52      52              

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.

1 participant