CI

Migrate to GitHub Actions from CircleCI #4

Sign in to view logs

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

Triggered via pull request December 8, 2023 22:34

leee

synchronize #139

github-actions

Status Success

Total duration 32s

Artifacts –

ci.yml

on: pull_request