Skip to content

Fixup: Set user/dir for CI - #505

Merged
ZwFink merged 4 commits into
mainfrom
gitlab-service-user
Jul 16, 2026
Merged

Fixup: Set user/dir for CI#505
ZwFink merged 4 commits into
mainfrom
gitlab-service-user

Conversation

@ZwFink

@ZwFink ZwFink commented Jul 13, 2026

Copy link
Copy Markdown
Collaborator

Since Giorgis has left, the CI jobs that run through the proteusdev service user no longer work.
While I am in the proteusdev LC group, I cannot access the original CI_BUILDS_DIR nor do things involving proteusdev. Therefore, CI is currently broken. This will fix it while I figure out how to get proteusdev working again

@ZwFink
ZwFink requested a review from tomstitt July 13, 2026 22:01
@ZwFink
ZwFink merged commit ca1ecf8 into main Jul 16, 2026
25 checks passed
@ZwFink
ZwFink deleted the gitlab-service-user branch July 16, 2026 16:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant