Skip to content
Ursa CI

TODO: remove items done, move items for Ark to the Ark repo #12

Sign in to view logs

TODO: remove items done, move items for Ark to the Ark repo

TODO: remove items done, move items for Ark to the Ark repo #12

Triggered via push November 19, 2023 16:18
@rrthomasrrthomas
pushed 8d89de4
main
Status Success
Total duration 32s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

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