Skip to content

Post-Update records - #399

Merged
meier-rene merged 1 commit into
devfrom
post-update-records-20260730-074829-30523733822
Jul 30, 2026
Merged

meier-rene merged 1 commit into
devfrom
post-update-records-20260730-074829-30523733822

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

This PR updates the records in case of missing properties, e.g. ChemOnt annotations

@meier-rene
meier-rene merged commit c421681 into dev Jul 30, 2026
1 check 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