Skip to content

[core] rename CINT to Cling or add todos#20760

Open
ferdymercury wants to merge 1 commit intoroot-project:masterfrom
ferdymercury:corecintrename
Open

[core] rename CINT to Cling or add todos#20760
ferdymercury wants to merge 1 commit intoroot-project:masterfrom
ferdymercury:corecintrename

Conversation

@ferdymercury
Copy link
Copy Markdown
Collaborator

subpart of work towards #10058

@ferdymercury ferdymercury marked this pull request as ready for review December 19, 2025 13:22
@github-actions
Copy link
Copy Markdown

github-actions Bot commented Dec 19, 2025

Test Results

    22 files      22 suites   3d 10h 29m 6s ⏱️
 3 850 tests  3 849 ✅  1 💤 0 ❌
76 910 runs  76 892 ✅ 18 💤 0 ❌

Results for commit 953dce7.

♻️ This comment has been updated with latest results.

@dpiparo dpiparo self-assigned this Dec 20, 2025
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