Skip to content

fix: case-insensitive artifact URL lookup and normalize bare DOI links#10

Merged
vahldiek merged 1 commit into
ReproDB:mainfrom
vahldiek:fix/profile-artifact-links-and-doi-urls
May 15, 2026
Merged

fix: case-insensitive artifact URL lookup and normalize bare DOI links#10
vahldiek merged 1 commit into
ReproDB:mainfrom
vahldiek:fix/profile-artifact-links-and-doi-urls

fix: case-insensitive artifact URL lookup and normalize bare DOI links

e2db711
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
JSON Schema Validation
succeeded May 15, 2026 in 30s