Lint

Merge pull request #2434 from DanielNoord/3.9-readme #2440

Sign in to view logs

Summary
Jobs
- build (3.12)
Run details
- Usage
- Workflow file

Triggered via push October 11, 2025 13:33

github-merge-queue[bot]

main

Status Success

Total duration 1m 25s

Artifacts –

lint.yml

on: push

Matrix: build