Skip to content

bump Rust version to 1.93.1 and bump rustyline to version 18.0.0#3290

Open
abmclin wants to merge 2 commits into
mthom:masterfrom
abmclin:bump-rustyline-version-18
Open

bump Rust version to 1.93.1 and bump rustyline to version 18.0.0#3290
abmclin wants to merge 2 commits into
mthom:masterfrom
abmclin:bump-rustyline-version-18

Conversation

@abmclin
Copy link
Copy Markdown
Contributor

@abmclin abmclin commented Apr 10, 2026

Fixes regression discovered on Linux after upgrading rustyline to 17.0.2; SIGINT not handled as expected, breaking ability to interrupt nontermination in scryer.

This was due to a change in rustyline's SIGINT behavior since version 16 and corrected in version 18.

Moved over from #3283

Fixes regression discovered on Linux after upgrading `rustyline` to 17.0.2; `SIGINT` not handled as expected, breaking ability to interrupt nontermination in `scryer`.

This was due to a change in `rustyline`'s `SIGINT` behavior since version 16 and corrected in version 18.
@danilp-id
Copy link
Copy Markdown
Contributor

I've tried making a test for this #3299, but it doesn't seem to catch the issue. Let me know if you have any ideas!

MSRV discussion settled on `1.93.1` to align with upcoming Debian stable releases
@abmclin abmclin changed the title bump rustyline to version 18.0.0 bump Rust version to 1.93.1 and bump rustyline to version 18.0.0 May 5, 2026
@abmclin abmclin changed the title bump Rust version to 1.93.1 and bump rustyline to version 18.0.0 bump Rust version to 1.93.1 and bump rustyline to version 18.0.0 May 5, 2026
@abmclin
Copy link
Copy Markdown
Contributor Author

abmclin commented May 5, 2026

Per discussion #2784 I have increased Rust version to 1.93.1 and tested on both Windows and Linux and don't see apparent regressions.

@abmclin
Copy link
Copy Markdown
Contributor Author

abmclin commented May 5, 2026

@mthom all CI checks have passed, this PR is ready to be merged.

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.

3 participants