Skip to content

fix upper/lowercase matching for 'Maps' dir #413

fix upper/lowercase matching for 'Maps' dir

fix upper/lowercase matching for 'Maps' dir #413

Triggered via pull request February 25, 2026 12:00
Status Success
Total duration 24m 35s
Artifacts 2

ci.yml

on: pull_request
Run pre-commit hook
25s
Run pre-commit hook
Generate dicts from data.json
27s
Generate dicts from data.json
Matrix: Run pytest
Matrix: Run testbots linux
Run example bots against computer
13m 20s
Run example bots against computer
Run coverage
7m 0s
Run coverage
Run radon complexity analysis
13s
Run radon complexity analysis
GitHub Pages
25s
GitHub Pages
Pypi package release
10s
Pypi package release
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Coverage_report
849 KB
sha256:ed1deb5cd26c035d9ed66a695c249e97248b85c593134a3b2766e3f4a4bcbbfb
Generated_dicts
15.7 KB
sha256:db6d1b3d08761bece4851464489451311c6e4d6cac2d0bb6098c7ea14cccb0a9