black-sliver 2fe51d087f CI: also use new appimage tool in release action

2025-07-31 20:49:30 +00:00

..

ISSUE_TEMPLATE

templates: fix bug report label

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

workflows

CI: also use new appimage tool in release action

2025-07-31 20:49:30 +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

Tests: unroll 2 player gen, add parametrization helper, add docs (#4648)

2025-03-17 00:16:02 +01:00

type_check.py

CI: pyright in github actions (#3121)

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