Fix WORKDIR path from /workspace to /workspaces in Dockerfile #3

Merged

GuillaumeHemmen merged 1 commit from fix-workdir-typo into master 2026-05-23 20:07:11 +00:00

Conversation 0 Commits 1 Files changed 1 +2 -2

GuillaumeHemmen commented 2026-05-23 20:01:53 +00:00

Owner

Copy link

Summary

• Corrects a typo in the Dockerfile where WORKDIR was set to /workspace instead of /workspaces
• Applies the fix to both the ci and coder build stages

## Summary - Corrects a typo in the Dockerfile where `WORKDIR` was set to `/workspace` instead of `/workspaces` - Applies the fix to both the `ci` and `coder` build stages

GuillaumeHemmen added 1 commit 2026-05-23 20:01:54 +00:00

Update WORKDIR paths in Dockerfile to improve consistency and readability 528724bafe

GuillaumeHemmen merged commit 6b4992461f into master 2026-05-23 20:07:11 +00:00

GuillaumeHemmen deleted branch fix-workdir-typo 2026-05-23 20:07:11 +00:00

GuillaumeHemmen referenced this pull request from a commit 2026-05-23 20:07:13 +00:00

Fix WORKDIR path from /workspace to /workspaces in Dockerfile (#3)

GuillaumeHemmen referenced this pull request 2026-05-23 20:35:16 +00:00

#0000 - Grant coder user ownership of /workspaces in Dockerfile #4

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

actions/sindri!3

No description provided.