Skip to content

Run ASan pipeline under Ubuntu 22.04#1952

Merged
ahojnnes merged 3 commits intodevfrom
user/joschonb/asan-ubuntu-2204
Jun 5, 2023
Merged

Run ASan pipeline under Ubuntu 22.04#1952
ahojnnes merged 3 commits intodevfrom
user/joschonb/asan-ubuntu-2204

Conversation

@ahojnnes
Copy link
Contributor

@ahojnnes ahojnnes commented Jun 5, 2023

No description provided.

@ahojnnes ahojnnes enabled auto-merge (squash) June 5, 2023 12:52
@ahojnnes ahojnnes merged commit bce8f13 into dev Jun 5, 2023
@ahojnnes ahojnnes deleted the user/joschonb/asan-ubuntu-2204 branch June 5, 2023 13:47
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