MarcoIeni bb88d7a0f1 fix		2024-12-11 11:09:32 +01:00
..
docker	fix	2024-12-11 11:09:32 +01:00
github-actions	split better	2024-12-11 10:29:59 +01:00
scripts	Reformat Python code with ruff	2024-12-04 23:03:44 +01:00
channel	move the current channel to src/ci/channel	2021-05-06 17:11:12 +02:00
cpu-usage-over-time.py	Reformat Python code with ruff	2024-12-04 23:03:44 +01:00
publish_toolstate.sh	Fix publishing of toolstate history	2024-06-05 16:41:59 +02:00
run.sh	ci: Disable full debuginfo-level=2 in windows alt job	2024-11-20 13:55:35 +01:00
shared.sh	CI: split x86_64-mingw job	2024-11-29 16:04:12 +01:00