Skip to content

Fix CI jobs deleting each other's clones - #546

Merged
ZwFink merged 1 commit into
mainfrom
ci/restore-custom-builds-dir
Oct 1, 2026
Merged

Fix CI jobs deleting each other's clones#546
ZwFink merged 1 commit into
mainfrom
ci/restore-custom-builds-dir

Keep CI clones in the Proteus workspace and only remove the job's own…

1ed13ea
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar