Skip to content

Update index when upload - #1759

Merged
cjmyers merged 1 commit into
masterfrom
update_index_when_upload
Sep 21, 2026
Merged

cjmyers merged 1 commit into
masterfrom
update_index_when_upload

Conversation

@cl117

@cl117 cl117 commented Sep 17, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@cl117 cl117 linked an issue Sep 17, 2026 that may be closed by this pull request
@cl117
cl117 force-pushed the update_index_when_upload branch from 247fe80 to ef08ead Compare September 17, 2026 02:21
@cl117
cl117 requested review from cjmyers and danielfang97 and removed request for danielfang97 September 17, 2026 02:39

@danielfang97 danielfang97 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Looks good!

@cjmyers
cjmyers merged commit 8d99c34 into master Sep 21, 2026
10 checks passed
@cjmyers
cjmyers deleted the update_index_when_upload branch September 21, 2026 09:03
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.

Incremental updates not work with SBOLExplorer

3 participants