MarcoIeni aa0fd4621e copy script		2024-12-12 14:49:59 +01:00
..
docker	copy script	2024-12-12 14:49:59 +01:00
github-actions	test stage 1 in separate job	2024-12-12 12:59:30 +01:00
scripts	debug	2024-12-11 11:54:12 +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