Skip to content

Conversation

@ferdymercury
Copy link
Collaborator

@ferdymercury ferdymercury commented Aug 13, 2025

This Pull request:

Changes or fixes:

If it succeeds, before merging, implement this to happen only if "asan build" flag is specified in GitHub via this yml statement:

if: github.event_name == 'pull_request' && contains(github.event.pull_request.labels.*.name, 'asan build')

Since asan build take many hours.

Checklist:

  • tested changes locally
  • updated the docs (if necessary)

This PR fixes #

@ferdymercury ferdymercury marked this pull request as ready for review August 13, 2025 17:20
@ferdymercury ferdymercury marked this pull request as draft August 13, 2025 17:20
@github-actions
Copy link

github-actions bot commented Aug 13, 2025

Test Results

    19 files      19 suites   3d 6h 56m 3s ⏱️
 3 659 tests  3 659 ✅ 0 💤 0 ❌
67 885 runs  67 885 ✅ 0 💤 0 ❌

Results for commit 28463ed.

♻️ This comment has been updated with latest results.

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