许杰友 Jieyou Xu (Joe) 03c7f992cd ci: switch x86_64-gnu-debug to use a large disk runner ... Full stage 2 build + run-make with full debug info seems to overwhelm the standard 4c runner's storage capacity.		2024-10-22 19:44:30 +08:00
..
docker	ci: run the full run-make test suite	2024-10-22 19:43:22 +08:00
github-actions	ci: switch x86_64-gnu-debug to use a large disk runner	2024-10-22 19:44:30 +08:00
scripts	add new CI step: "setup upstream remote"	2024-10-12 08:58:39 +03:00
channel	move the current channel to src/ci/channel	2021-05-06 17:11:12 +02:00
cpu-usage-over-time.py	Apply changes to fix python linting errors	2023-06-16 20:56:01 -04:00
publish_toolstate.sh	Fix publishing of toolstate history	2024-06-05 16:41:59 +02:00
run.sh	Fix quotation marks around debug line in src/ci/run.sh	2024-10-08 18:31:44 -07:00
shared.sh	add new CI step: "setup upstream remote"	2024-10-12 08:58:39 +03:00