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

sanitizers: clean things up for sanitizers, spread: simpler dependency install #3028

Merged
merged 6 commits into from
Aug 31, 2023

Conversation

Saviq
Copy link
Collaborator

@Saviq Saviq commented Aug 30, 2023

No description provided.

@Saviq Saviq mentioned this pull request Aug 30, 2023
@Saviq Saviq force-pushed the cleanup-sanitizers branch from 5370a6e to 32c2f13 Compare August 30, 2023 15:37
@codecov
Copy link

codecov bot commented Aug 30, 2023

Codecov Report

Merging #3028 (32c2f13) into ci-actually-ubsan (91e0bb5) will decrease coverage by 0.01%.
The diff coverage is n/a.

@@                  Coverage Diff                  @@
##           ci-actually-ubsan    #3028      +/-   ##
=====================================================
- Coverage              77.71%   77.70%   -0.01%     
=====================================================
  Files                   1056     1056              
  Lines                  73394    73394              
=====================================================
- Hits                   57038    57034       -4     
- Misses                 16356    16360       +4     

see 5 files with indirect coverage changes

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

Base automatically changed from ci-actually-ubsan to main August 30, 2023 18:55
Copy link
Collaborator

@AlanGriffiths AlanGriffiths left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@AlanGriffiths AlanGriffiths added this pull request to the merge queue Aug 31, 2023
Merged via the queue into main with commit b835713 Aug 31, 2023
@AlanGriffiths AlanGriffiths deleted the cleanup-sanitizers branch August 31, 2023 15:58
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.

2 participants