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

Remove redundant step to clean CI disk space #349

Closed
wants to merge 1 commit into from

Conversation

shayancanonical
Copy link
Contributor

No description provided.

Copy link

codecov bot commented Nov 9, 2023

Codecov Report

Merging #349 (e2b5001) into main (7e3c405) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main     #349   +/-   ##
=======================================
  Coverage   65.43%   65.43%           
=======================================
  Files          17       17           
  Lines        3127     3127           
  Branches      415      415           
=======================================
  Hits         2046     2046           
  Misses        950      950           
  Partials      131      131           

@paulomach
Copy link
Contributor

Don't remember the context here, but I'll close since it's stale. We can reopen if it's the case.

@paulomach paulomach closed this Jun 14, 2024
@paulomach paulomach deleted the fix/clean_ci_cleanup branch July 3, 2024 18:35
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.

3 participants