Skip to content

Rename specificity to priority #269

Rename specificity to priority

Rename specificity to priority #269

Triggered via push August 27, 2025 14:20
Status Success
Total duration 7m 22s
Artifacts 1

docs.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
1.67 MB
sha256:44a198ae4defcf9a7c192baf277fbd0ae2827afdce1cf13288c666f6186ed846