Travis CI

dev Fix: Exclude patterns are now case-sensitive when added (#20…

Exclude pattern, in Manage profiles dialog's Exclude tab, are now case-sensitive when added.

Fix #2040
Thank you to Andrey Fedoseev (@andreyfedoseev) for reporting the problem.

Commit bb493e2
Compare 4a77ac4..bb493e2
Branch dev

Christian Buhtz

#2503 passed

Ran for 2 min 46 sec
Total time 13 min 7 sec
7 days ago

2503.1

AMD64

jammy

Python: 3.9

Git

PYTHONUNBUFFERED=1

2 min 46 sec
2503.2

AMD64

jammy

Python: 3.10

Git

PYTHONUNBUFFERED=1

2 min 34 sec
2503.3

AMD64

jammy

Python: 3.11

Git

PYTHONUNBUFFERED=1

2 min 41 sec
2503.4

AMD64

jammy

Python: 3.12

Git

PYTHONUNBUFFERED=1

2 min 28 sec
2503.5

AMD64

jammy

Python: 3.13

Git

PYTHONUNBUFFERED=1

2 min 38 sec

dev Fix: Exclude patterns are now case-sensitive when added (#20…

Push event #2503 passed

#2503 passed