Skip to content

Use github actions instead of Circle CI#58

Merged
joannecheng merged 1 commit into
mainfrom
joannecheng/update-github-actions
Oct 2, 2025
Merged

Use github actions instead of Circle CI#58
joannecheng merged 1 commit into
mainfrom
joannecheng/update-github-actions

Run kaocha and bb tests in github actions instead of circle

d2bf1f4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.