Skip to content

Fix: replaced PR #107 to resolve blocked CI - #117

Closed
dem-extra1 wants to merge 4 commits into
UCD-SERG:mainfrom
dem-extra1:doi-update-fix
Closed

Fix: replaced PR #107 to resolve blocked CI#117
dem-extra1 wants to merge 4 commits into
UCD-SERG:mainfrom
dem-extra1:doi-update-fix

Conversation

@dem-extra1

Copy link
Copy Markdown

This PR replaces #107 which was blocked because the Claude AI reviewer encountered an internal timeout ('Blocked: sleep 30') and couldn't post a verdict. Since that branch didn't have any code issues, opening this new PR will run the CI fresh.

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.

3 participants