Skip to content

Update GitHub actions#81

Merged
zehnm merged 2 commits intomainfrom
ci/gh-action-upd
Apr 7, 2026
Merged

Update GitHub actions#81
zehnm merged 2 commits intomainfrom
ci/gh-action-upd

Conversation

@zehnm
Copy link
Copy Markdown
Collaborator

@zehnm zehnm commented Apr 7, 2026

  • update actions/checkout to v6, cache to v5
  • update mdbook and mdbook-mermaid

@zehnm zehnm self-assigned this Apr 7, 2026
@zehnm zehnm merged commit 4caaeaa into main Apr 7, 2026
3 checks passed
@zehnm zehnm deleted the ci/gh-action-upd branch April 7, 2026 10:35
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.

1 participant