Skip to content

Merge pull request #36 from znicholls/fix-area-label-handling #155

Merge pull request #36 from znicholls/fix-area-label-handling

Merge pull request #36 from znicholls/fix-area-label-handling #155

Triggered via push December 10, 2025 08:38
Status Success
Total duration 29s
Artifacts

ci.yaml

on: push
Matrix: check-build
Matrix: check-dependency-licences
Matrix: docs
Matrix: imports-without-extras
Matrix: mypy
Matrix: tests-resolution-strategies
Matrix: tests-without-extras
Matrix: tests
Fit to window
Zoom out
Zoom in