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

Update workflows #4180

Merged
merged 1 commit into from
Aug 8, 2023
Merged

Update workflows #4180

merged 1 commit into from
Aug 8, 2023

Conversation

lucacome
Copy link
Member

@lucacome lucacome commented Aug 3, 2023

Proposed changes

Updates workflows to align with other repos.

@lucacome lucacome requested a review from a team as a code owner August 3, 2023 17:02
@lucacome lucacome self-assigned this Aug 3, 2023
@github-actions
Copy link

github-actions bot commented Aug 3, 2023

Dependency Review

✅ No vulnerabilities or license issues found.

Scanned Manifest Files

@github-actions github-actions bot added the chore Pull requests for routine tasks label Aug 3, 2023
@codecov
Copy link

codecov bot commented Aug 3, 2023

Codecov Report

Merging #4180 (ece8a9c) into main (494fc89) will decrease coverage by 0.02%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #4180      +/-   ##
==========================================
- Coverage   51.93%   51.92%   -0.02%     
==========================================
  Files          59       59              
  Lines       16743    16743              
==========================================
- Hits         8696     8694       -2     
- Misses       7748     7750       +2     
  Partials      299      299              

see 1 file with indirect coverage changes

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@lucacome lucacome force-pushed the chore/update-workflows branch from c7842c5 to ece8a9c Compare August 4, 2023 17:24
@lucacome lucacome merged commit 7122954 into main Aug 8, 2023
@lucacome lucacome deleted the chore/update-workflows branch August 8, 2023 18:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Pull requests for routine tasks
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants