chore: switch the tool installation to `taiki-e/install-action #64

Closed

CommanderStorm wants to merge 40 commits from takki into main

pull from: takki

merge into: jer:main

jer:main

Conversation 1 Commits 40 Files changed 42 +140865 -3549

CommanderStorm commented 2025-12-30 22:37:32 +00:00 (Migrated from github.com)

Copy link

No description provided.

Copilot (Migrated from github.com) reviewed 2025-12-30 22:37:32 +00:00

Pull request closed

This pull request cannot be reopened because the branch was deleted.

Sign in to join this conversation.

Reviewers

No reviewers

Copilot

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

jer/mdbook-mermaid!64

No description provided.