Lint Pull Request

🌱 Dummy PR, do not merge. #1506

Sign in to view logs

Triggered via pull request August 20, 2024 13:12

guettli

opened #1456

Status Skipped

Total duration 2s

Artifacts –

pr-lint.yml

on: pull_request_target

Lint Pull Request