Skip to content

Merge pull request #45 from andreped/arxiv #35

Merge pull request #45 from andreped/arxiv

Merge pull request #45 from andreped/arxiv #35

Triggered via push November 3, 2023 08:23
Status Success
Total duration 13s
Artifacts

deploy.yml

on: push
sync-to-hub
5s
sync-to-hub
Fit to window
Zoom out
Zoom in