Skip to content

Deposit identifiers from run 33693220802 (attempt 1) - #50

Merged
lmoresi merged 1 commit into
mainfrom
deposit/identifiers-33693220802-1
Sep 2, 2026
Merged

lmoresi merged 1 commit into
mainfrom
deposit/identifiers-33693220802-1

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor

Publication timestamps written by the deposit workflow (``).

Bookkeeping. The record id and DOI already reached main through the deposit request, so the guard against minting a second DOI is satisfied whether or not this lands; what is here is archive_published_at, which only affects which notes a batch re-version offers.

Merge it when convenient. It appears in the weekly outstanding issue until you do.

Underworld development team with AI support from Claude Code

Written by the deposit workflow (). The record id is
the guard against ever minting a second DOI for these notes, so this
has to reach the repository even if the run failed.
@lmoresi
lmoresi merged commit 7864032 into main Sep 2, 2026
4 checks passed
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