Skip to content

add my-arxiv and remove unnecessary todos #47

add my-arxiv and remove unnecessary todos

add my-arxiv and remove unnecessary todos #47

Re-run triggered November 21, 2024 04:53
Status Success
Total duration 21s
Artifacts 1

build.yml

on: push
Deploy to gh-pages
4s
Deploy to gh-pages
Deploy to My Own Server
11s
Deploy to My Own Server
Fit to window
Zoom out
Zoom in