Skip to content

Rename prio -> priority #776

Rename prio -> priority

Rename prio -> priority #776

Triggered via push April 16, 2024 18:06
Status Success
Total duration 18s
Artifacts

tidy-check.yaml

on: push
tidy  /  Tidy check
8s
tidy / Tidy check
Fit to window
Zoom out
Zoom in