Skip to content

Fix Docker build after build script addition#102

Merged
haasonsaas merged 1 commit into
mainfrom
codex/diffscope-docker-buildrs-hotfix
May 18, 2026
Merged

Fix Docker build after build script addition#102
haasonsaas merged 1 commit into
mainfrom
codex/diffscope-docker-buildrs-hotfix

Conversation

@haasonsaas
Copy link
Copy Markdown
Collaborator

Summary

  • Copy build.rs into the Docker builder dependency-cache layer before the warm-up cargo build.

Why

The post-merge Publish image workflow for PR #101 failed because the Docker cache layer runs cargo build --release after copying only Cargo.toml, Cargo.lock, and migrations. Since PR #101 added build = "build.rs", Cargo expects build.rs during that warm-up build.

Validation

  • git diff --check
  • docker build --target builder -t diffscope-buildrs-hotfix:local . progressed past the previously failing dependency-cache layer; local Colima later OOMed during the final optimized musl link.
  • Pre-push hook passed: workflow validation, Cargo version check, cargo fmt --check, cargo clippy --all-targets, npm ci, npm run build, npm test, and cargo test (1565 passed).

@haasonsaas haasonsaas merged commit e550e55 into main May 18, 2026
12 checks passed
@haasonsaas haasonsaas deleted the codex/diffscope-docker-buildrs-hotfix branch May 18, 2026 03:15
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