Skip to content

feat: add io.rs to toolchain#2444

Merged
876pol merged 1 commit intodevelop-v1.8.0from
rv64-toolchain-io-rs
Feb 20, 2026
Merged

feat: add io.rs to toolchain#2444
876pol merged 1 commit intodevelop-v1.8.0from
rv64-toolchain-io-rs

Conversation

@876pol
Copy link
Copy Markdown
Contributor

@876pol 876pol commented Feb 20, 2026

No description provided.

@876pol 876pol marked this pull request as ready for review February 20, 2026 16:06
@876pol 876pol merged commit 219dc02 into develop-v1.8.0 Feb 20, 2026
32 of 60 checks passed
@876pol 876pol deleted the rv64-toolchain-io-rs branch February 20, 2026 18:14
shuklaayush pushed a commit that referenced this pull request Apr 27, 2026
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.

2 participants