Merge pull request #256 from mkobayashime/github-pr-shortcuts-after-p… #1064
mkobayashime
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yaml
on: push
Lint
31s
Test
28s
Up-to-date docs
25s
Up-to-date scripts
59s