Skip to content

Distinguish between wildcard expansion and traditional record syntax #6852

Distinguish between wildcard expansion and traditional record syntax

Distinguish between wildcard expansion and traditional record syntax #6852

Triggered via pull request February 1, 2026 17:34
Status Success
Total duration 3m 34s
Artifacts

pre-commit.yml

on: pull_request
Fit to window
Zoom out
Zoom in