Merge 'dev' into 'production' #3

Merged
boom merged 1 commits from dev into production 2025-05-29 21:18:53 +02:00
boom commented 2025-05-29 21:18:48 +02:00 (Migrated from gitlab.boomlab.party)

Update REMOTE_ENV_PATH and rules in GitLab CI config

Update REMOTE_ENV_PATH and rules in GitLab CI config
boom commented 2025-05-29 21:18:48 +02:00 (Migrated from gitlab.boomlab.party)

assigned to @boom

assigned to @boom
boom commented 2025-05-29 21:18:53 +02:00 (Migrated from gitlab.boomlab.party)

mentioned in commit b8a1185a73

mentioned in commit b8a1185a7325a13b446b3f417abd81c57241cb1b
boom (Migrated from gitlab.boomlab.party) merged commit b8a1185a73 into production 2025-05-29 21:18:53 +02:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: Gitlab-Migration/rheinsw-mono-repo#3