Fixup: Set user/dir for CI - #505

Merged

ZwFink merged 4 commits into

mainfrom

gitlab-service-user

Jul 16, 2026

Commits on Jul 13, 2026

update service user/custom builds dir
ZwFink
committed
d942443

Commits on Jul 14, 2026

try proteusdev service account again
ZwFink
committed
eb22ae6

Commits on Jul 15, 2026

Back to fink12; use explicit asccasc bank for tioga
ZwFink
committed
ac94598
also asccasc on tuo
ZwFink
committed
6b54bc5