Skip to content
CI

Port CI to GitHub Actions and remove CircleCI (#464) #6

Sign in to view logs

Port CI to GitHub Actions and remove CircleCI (#464)

Port CI to GitHub Actions and remove CircleCI (#464) #6

Triggered via push July 9, 2024 22:10
@simonwsimonw
pushed 550cfc9
main
Status Success
Total duration 1m 4s
Artifacts –

ci.yml

on: push
build
56s
build
Fit to window
Zoom out
Zoom in