Skip to content

Push to refs/heads/merge-eis-into-maintenance-update by @ClaasRostock #127

Push to refs/heads/merge-eis-into-maintenance-update by @ClaasRostock

Push to refs/heads/merge-eis-into-maintenance-update by @ClaasRostock #127

Triggered via push March 16, 2026 21:44
Status Success
Total duration 2m 58s
Artifacts

push.yml

on: push
code_quality  /  ruff format
14s
code_quality / ruff format
code_quality  /  ruff check
16s
code_quality / ruff check
code_quality  /  pyright
24s
code_quality / pyright
code_quality  /  mypy
29s
code_quality / mypy
Matrix: test / test
Fit to window
Zoom out
Zoom in