CI: disable CircleCI, reuse GitHub Actions #2

Sign in to view logs

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

Triggered via pull request December 8, 2023 21:02

leee

opened #167

github-actions

Status Success

Total duration 2m 28s

Artifacts –

ci.yml

on: pull_request

reusable / lint

reusable / build