GitHub Actions is scheduled daily at 14:00 Asia/Shanghai (06:00 UTC) and can also be started manually from the Actions tab. Scheduled runs may be delayed by GitHub. The workflow uses the free arXiv ...