MarcoIeni e67e9b448e fix		2024-12-10 15:17:24 +01:00
..
docker	fix	2024-12-10 15:17:24 +01:00
github-actions	CI: use free runners for x86_64-gnu-llvm jobs	2024-12-10 13:14:44 +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