Skip to content

Migrate CI to GitHub Actions away from CircleCI #36

Migrate CI to GitHub Actions away from CircleCI

Migrate CI to GitHub Actions away from CircleCI #36

Triggered via push December 8, 2023 18:33
Status Success
Total duration 3m 42s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in