Skip to content

readme: point to julialang/julia#610

Merged
topolarity merged 1 commit into
JuliaLang:mainfrom
mlechu:ec/readme
Dec 3, 2025
Merged

readme: point to julialang/julia#610
topolarity merged 1 commit into
JuliaLang:mainfrom
mlechu:ec/readme

Conversation

@mlechu

@mlechu mlechu commented Dec 3, 2025

Copy link
Copy Markdown
Member

Fix #609. TODO: link to julia backport branches

@mlechu
mlechu requested review from c42f and topolarity December 3, 2025 18:10
@codecov

codecov Bot commented Dec 3, 2025

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 95.48%. Comparing base (99e975a) to head (53d9038).
⚠️ Report is 4 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #610      +/-   ##
==========================================
+ Coverage   94.72%   95.48%   +0.76%     
==========================================
  Files          15       16       +1     
  Lines        4262     4473     +211     
==========================================
+ Hits         4037     4271     +234     
+ Misses        225      202      -23     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@aviatesk
aviatesk marked this pull request as ready for review December 3, 2025 18:23

@topolarity topolarity left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@topolarity
topolarity merged commit 9237a56 into JuliaLang:main Dec 3, 2025
37 checks passed
@topolarity

Copy link
Copy Markdown
Member

Merged this maybe a bit soon:

TODO: link to julia backport branches

Also we should point to the JuliaSyntax/ subdirectory in JuliaLang/julia - in any case, I'm glad to have some notice up

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.

Add "repo moved" notice to README.md

2 participants