Skip to content

[ci] add rdf to asan build#22726

Open
jblomer wants to merge 1 commit into
root-project:masterfrom
jblomer:asan-rdf
Open

[ci] add rdf to asan build#22726
jblomer wants to merge 1 commit into
root-project:masterfrom
jblomer:asan-rdf

Conversation

@jblomer

@jblomer jblomer commented Jun 29, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@jblomer jblomer requested a review from vepadulano June 29, 2026 09:00
@jblomer jblomer self-assigned this Jun 29, 2026
@jblomer jblomer requested a review from dpiparo as a code owner June 29, 2026 09:00
@github-actions

github-actions Bot commented Jun 29, 2026

Copy link
Copy Markdown

Test Results

    23 files      23 suites   3d 14h 54m 8s ⏱️
 3 873 tests  3 863 ✅   0 💤 10 ❌
78 787 runs  78 565 ✅ 212 💤 10 ❌

For more details on these failures, see this check.

Results for commit 1a69aa5.

♻️ This comment has been updated with latest results.

@jblomer jblomer added the clean build Ask CI to do non-incremental build on PR label Jun 29, 2026
@jblomer jblomer closed this Jun 29, 2026
@jblomer jblomer reopened this Jun 29, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

clean build Ask CI to do non-incremental build on PR

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants