guettli/sharedinbox
1
0
Fork 0
Code Issues 21 Pull Requests 6 Actions Packages Projects Releases Wiki Activity

ci: automate dev container build via devcontainer.json + workflow #553

Merged
guettlibot merged 1 commits from refs/pull/553/head into main 2026-06-09 19:31:48 +00:00
Conversation 0 Commits 1 Files Changed 2
+5 -229
guettlibot commented 2026-06-09 14:26:39 +00:00 (Migrated from codeberg.org)
Copy Link
Copy Source

Closes #552

Summary

  • Add .devcontainer/devcontainer.json pointing at ../Dockerfile.dev so VS Code / Codespaces / any devcontainer-aware tool can build the dev environment directly from source.
  • Add .forgejo/workflows/publish-dev-container.yml that rebuilds Dockerfile.dev and pushes it to codeberg.org/guettli/sharedinbox-dev whenever Dockerfile.dev, the devcontainer config, or the workflow itself changes on main. The image is tagged both :latest and with the short commit SHA for pinnable references.
  • The workflow uses the built-in FORGEJO_TOKEN to log in to Codeberg's container registry — no extra secrets required.

Notes

  • No existing references to ghcr.io/guettli/sharedinbox-dev were found in the repo, so issue step 3 (updating image references) is a no-op here.
  • workflow_dispatch is also enabled so the image can be rebuilt manually if needed.

Verification

  • python3 -c "import json; json.load(...)" parses the devcontainer config.
  • python3 -c "import yaml; yaml.safe_load(...)" parses the workflow.
  • Triggers (paths filter) match the source files the issue identifies as drift risks.
Closes #552 ## Summary - Add `.devcontainer/devcontainer.json` pointing at `../Dockerfile.dev` so VS Code / Codespaces / any devcontainer-aware tool can build the dev environment directly from source. - Add `.forgejo/workflows/publish-dev-container.yml` that rebuilds `Dockerfile.dev` and pushes it to `codeberg.org/guettli/sharedinbox-dev` whenever `Dockerfile.dev`, the devcontainer config, or the workflow itself changes on `main`. The image is tagged both `:latest` and with the short commit SHA for pinnable references. - The workflow uses the built-in `FORGEJO_TOKEN` to log in to Codeberg's container registry — no extra secrets required. ## Notes - No existing references to `ghcr.io/guettli/sharedinbox-dev` were found in the repo, so issue step 3 (updating image references) is a no-op here. - `workflow_dispatch` is also enabled so the image can be rebuilt manually if needed. ## Verification - `python3 -c "import json; json.load(...)"` parses the devcontainer config. - `python3 -c "import yaml; yaml.safe_load(...)"` parses the workflow. - Triggers (paths filter) match the source files the issue identifies as drift risks.
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
NeedSupervisor
Issue escalated to a human supervisor; agentloop will skip it until cleared.
 State/InProgress
State/Later
State/Planned
automerge
Eligible for automatic merge by CI
 ci-failure
Issue opened by agentloop to track a failing CI workflow; used for deduplication.
 do-not-merge
Plan PR — review only, do not merge.
 loop/code
Add to run the built-in "code" prompt; override at prompts/code.md.
 loop/code-ci-pending
Prompt "code" finished; waiting for the PR's CI to pass before advancing.
 loop/code-done
Prompt "code" finished successfully.
 loop/code-in-process
Agent for the "code" prompt is currently running on this issue.
 loop/merge
Managed by agentloop
 loop/merge-done
Managed by agentloop
 loop/merge-in-process
Managed by agentloop
 loop/plan
Add to run the built-in "plan" prompt; override at prompts/plan.md.
 loop/plan-done
Prompt "plan" finished successfully.
 loop/plan-in-process
Agent for the "plan" prompt is currently running on this issue.
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
guettlibot guettli
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: guettli/sharedinbox#553