Skip to content

Improve CI#54

Merged
BartMassey merged 1 commit intorust-embedded:mainfrom
eldruin:improve-ci
Jul 18, 2025
Merged

Improve CI#54
BartMassey merged 1 commit intorust-embedded:mainfrom
eldruin:improve-ci

Conversation

@eldruin
Copy link
Copy Markdown
Member

@eldruin eldruin commented Jul 18, 2025

This does a few things:

  • Put mdbook-epub in .cargo/bin as mdbook only accepts it being there.
  • Replace actions-rs since those are long deprecated.
  • Avoid building EPUB twice.
  • Update publishing action.
  • Display the cache contents.

Fixes #52

@eldruin eldruin requested a review from a team as a code owner July 18, 2025 20:57
Copy link
Copy Markdown
Member

@BartMassey BartMassey left a comment

Choose a reason for hiding this comment

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

Thanks very very much for this.

@BartMassey BartMassey merged commit 5c0f4b3 into rust-embedded:main Jul 18, 2025
3 checks passed
@eldruin eldruin deleted the improve-ci branch July 19, 2025 19:45
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.

Book CI is still borked because mdbook-epub

2 participants