lint

improve body of weekly build (#3901) #4887

Sign in to view logs

Summary
Jobs
- ruff-mypy
Run details
- Usage
- Workflow file

Triggered via push November 1, 2025 19:05

mattijn

main

Status Success

Total duration 1m 3s

Artifacts –

lint.yml

on: push