black-sliver bae1259aba CI: switch to new appimagetool (#5233) ...

Since this does not have versions anymore, we check the sha256
and require manual intervention if it changed.

TODO: look for a way to do reproducible appimages again.

2025-07-25 09:06:22 +02:00

..

ISSUE_TEMPLATE

templates: fix bug report label

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

workflows

CI: switch to new appimagetool (#5233)

2025-07-25 09:06:22 +02: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