Skip to content

Merge dev changes into main - #65

Merged
AnnieZQH merged 30 commits into
mainfrom
development
Oct 16, 2026
Merged

AnnieZQH merged 30 commits into
mainfrom
development

Conversation

@AnnieZQH

Copy link
Copy Markdown
Contributor

No description provided.

AnnieZQH and others added 30 commits September 23, 2026 11:10
- Also updated to match lower cases, and both iso and rfc standards
…ell-as-cross-references-for-properties

Support string values as well as cross-references for properties
Update datetime regex and normalise schema.org terms in profile upload script
Co-authored-by: Eli Chadwick <eli.chadwick@manchester.ac.uk>
…d-profiles-as-part-of-ci-checks

Run validation on submitted profiles as part of ci checks
@AnnieZQH
AnnieZQH requested a review from elichad October 16, 2026 10:10
@AnnieZQH
AnnieZQH merged commit 763b222 into main Oct 16, 2026
2 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.

2 participants