arXiv to publications correct

DOI found for unpublished results #377

Sign in to view logs

Summary
Jobs
- pull_request
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pull_request	15s
pull_request	15s
	30s