CI

Migrate to GitHub Actions from CircleCI #2

Sign in to view logs

Summary
Jobs
- verify
- lint
Run details
- Usage
- Workflow file

Triggered via pull request December 8, 2023 22:33

leee

opened #139

github-actions

Status Success

Total duration 35s

Artifacts –

ci.yml

on: pull_request