Skip to content

CI Fixes#159

Merged
nbdd0121 merged 2 commits into
mainfrom
dev/ci
Jul 10, 2026
Merged

CI Fixes#159
nbdd0121 merged 2 commits into
mainfrom
dev/ci

Conversation

@nbdd0121

Copy link
Copy Markdown
Member

Two things that break CI:

  • Due to io::Error being moved from std to core, the symbol length grow by 1.
  • cargo rdme's new pinned nightly requirement

Due to `io::Error` being moved from `std` to `core`, the symbol length grow
by 1.

Signed-off-by: Gary Guo <gary@garyguo.net>
New version of cargo rdme has some behaviour change that needs updating
README.md. Pin it to an older version to avoid change for now.

Signed-off-by: Gary Guo <gary@garyguo.net>
@nbdd0121 nbdd0121 merged commit 802d093 into main Jul 10, 2026
22 checks passed
@nbdd0121 nbdd0121 deleted the dev/ci branch July 10, 2026 12:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant