Skip to content

update git identity to avoid error #138

update git identity to avoid error

update git identity to avoid error #138

Re-run triggered April 8, 2024 14:52
Status Success
Total duration 40s
Artifacts

fetch_zotero.yml

on: push
fetch_pubs
27s
fetch_pubs
Fit to window
Zoom out
Zoom in