Skip to content

Used proper defined name #1727

Used proper defined name

Used proper defined name #1727

Triggered via push July 14, 2023 15:13
Status Success
Total duration 2m 29s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ark.yml

on: push
Check latest commit
6s
Check latest commit
Fit to window
Zoom out
Zoom in