Skip to content

chore(pins): nova to eeab85c8 (nova#857) - #1041

Closed
schwarztrinker wants to merge 1 commit into
mainfrom
chore/pin-nova-857
Closed

schwarztrinker wants to merge 1 commit into
mainfrom
chore/pin-nova-857

Conversation

@schwarztrinker

Copy link
Copy Markdown
Contributor

Refs stardelt/stardelt-nova#857

Pins ghcr.io/stardelt/nova to sha256:eeab85c83c76 (main 03a3194, the pipeline-page retry button) and has been rolled out on the dev cluster with ./scripts/pin-image.sh nova; deployment "nova" successfully rolled out.

Copilot AI lite review requested due to automatic review settings November 12, 2026 03:39

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has insufficient remaining quota.

An organization owner can choose the repository organization as the billing source for reviews requested by members with a paid Copilot license. Learn about Copilot code review billing.

@schwarztrinker

Copy link
Copy Markdown
Contributor Author

Closing as redundant: the same pin (392b5c91… → eeab85c8…) merged minutes earlier as #1040
(2026-11-12T03:41:58Z) from the chore/pin-rollup branch, produced by the hand-dispatched
pin-rollup.yml run 43149615463. origin/main already carries eeab85c8, and the lab's Nova pod
(nova-84bd74bb9-ntgjw) was applied from it and is Running; scripts/dev-status.sh says
nova eeab85c83c76 … in sync.

No content is lost — thank you for rolling it out as well; the second apply was a no-op.

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.

2 participants