lila icon indicating copy to clipboard operation
lila copied to clipboard
verified publisher icon JulienMalka

reporting: allow recording links to GitHub issues

Open raboof opened this issue 1 year ago • 0 comments

when an unreproducibility is already tracked in GitHub

probably MVP just a database table with a regex to match against the derivation path

raboof avatar Mar 21 '24 11:03 raboof