black-sliver 2bf410f285 CI: update appimagetool to 2025-10-19 (#5578) ...

Beware: this has a bug, but it does not impact our CI.

2025-10-25 16:49:05 +00:00

..

ISSUE_TEMPLATE

templates: fix bug report label

2022-09-01 22:33:22 +02:00

workflows

CI: update appimagetool to 2025-10-19 (#5578)

2025-10-25 16:49:05 +00:00

FUNDING.yml

Github Sponsors

2020-02-25 13:46:42 +01:00

labeler.yml

Core: disable worlds_disabled (#5014)

2025-05-21 00:52:00 +02:00

pull_request_template.md

Github: templates and new user interface (#870)

2022-08-23 00:39:55 +02:00

pyright-config.json

Core: drop Python 3.10 (#5324)

2025-08-15 18:45:40 +02:00

type_check.py

CI: pyright in github actions (#3121)

2024-04-16 23:03:30 +02:00