ci: database CI catchup — local buildx cache + dev tag trigger #153
No reviewers
Labels
No Label
ai-changes-requested
ai-failed
ai-merged
ai-pr-opened
ai-reviewed
ai-reviewing
ai-reviewing
ai-working
bug
enhancement
evolution
performance
phase-0
phase-1a
phase-1b
phase-1c
phase-1d
security
tech-debt
todo
No Milestone
No project
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: cal/paper-dynasty-database#153
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "ci/database-ci-catchup"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Two CI commits that were present on local main but missing from origin/main after the refractor rename PR (#131) was merged.
ci: add dev tag trigger to Docker build workflow— matches discord PR #115ci: switch buildx cache from registry to local volume— matches discord PR #116These were originally applied locally before the refractor rename landed on origin. Rebased onto current origin/main tip (
6a74004).CI-only changes, no application code modified. Both changes mirror what was already merged in paper-dynasty-discord PRs #115 and #116:
devtag push now builds withdevDocker tag instead ofproduction. Logic is correct.Approved.