Skip to content

GHA: add a memory-sanitizer job #10815

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

Closed
wants to merge 2 commits into from
Closed

Conversation

bagder
Copy link
Member

@bagder bagder commented Mar 22, 2023

No description provided.

@bagder bagder added the CI Continuous Integration label Mar 22, 2023
@bagder bagder force-pushed the bagder/memory-sanitizer branch from 25f98dc to 6beb1bf Compare March 22, 2023 13:40
@bagder bagder force-pushed the bagder/memory-sanitizer branch from b511f86 to 3b2f214 Compare March 23, 2023 08:25
@bagder bagder force-pushed the bagder/memory-sanitizer branch from e9c2c49 to 082772f Compare March 23, 2023 22:33
@bagder bagder closed this in d03c4dc Mar 24, 2023
@bagder bagder deleted the bagder/memory-sanitizer branch March 24, 2023 10:31
bch pushed a commit to bch/curl that referenced this pull request Jul 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Continuous Integration
Development

Successfully merging this pull request may close these issues.

1 participant