Skip to content

chore(master): release 2.5.1 - #1385

Merged
MilesCranmer merged 1 commit into
masterfrom
release-please--branches--master
Sep 27, 2026
Merged

MilesCranmer merged 1 commit into
masterfrom
release-please--branches--master

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 23, 2026 •

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

2.5.1 (2026-09-27)

Bug Fixes

  • stop searches gracefully on Windows console Ctrl-C (#1386) (da64e04)

Documentation

  • fix broken links, version menu, same-tab nav, and favicon (#1388) (e5b5454)
  • point Julia documentation links to julia.pysr.ai (#1387) (e999da7)
  • serve documentation at pysr.ai (#1384) (7873cfa)

This PR was generated with Release Please. See documentation.

@github-actions
github-actions Bot force-pushed the release-please--branches--master branch 2 times, most recently from a7a74a6 to c9ebbe0 Compare September 24, 2026 01:32
@github-actions
github-actions Bot force-pushed the release-please--branches--master branch from c9ebbe0 to 3cdd46d Compare September 27, 2026 14:24
@MilesCranmer
MilesCranmer enabled auto-merge (squash) September 27, 2026 14:39
@codecov

codecov Bot commented Sep 27, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@MilesCranmer
MilesCranmer merged commit 58e238e into master Sep 27, 2026
47 of 48 checks passed
@github-actions

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant