MarcoFalke fa0d37a579 ci: Rewrite Bash to check inputs to Python ...

This is shorter and easier to read. Also, according to the dev notes,
Bash should not be used.

2025-11-12 13:39:27 +01:00

..

configure-docker

ci: Rewrite Bash to check inputs to Python

2025-11-12 13:39:27 +01:00

configure-environment

ci: Properly include $FILE_ENV in DEPENDS_HASH

2025-10-08 14:47:00 -07:00

restore-caches

ci: add caching actions

2025-09-01 10:31:58 +01:00

save-caches

ci: add caching actions

2025-09-01 10:31:58 +01:00