Lint PR

chore: add missing file extension #1073

Sign in to view logs

Triggered via pull request November 20, 2024 19:00

domoritz

opened #9476

Status Success

Total duration 14s

Artifacts –

check-pr.yml

on: pull_request_target

Validate PR title