Skip to content
This repository was archived by the owner on May 14, 2026. It is now read-only.

chore: migrate from CircleCI to GitHub Actions - #651

Merged
miraleung merged 2 commits into
masterfrom
chore/ci
Feb 16, 2021
Merged

chore: migrate from CircleCI to GitHub Actions#651
miraleung merged 2 commits into
masterfrom
chore/ci

fix: remove Java 7 from CI tests

6cf1da7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs