Skip to content

Use REST APIs to resolve DOIs + cleanup dataverse provider #1065

Use REST APIs to resolve DOIs + cleanup dataverse provider

Use REST APIs to resolve DOIs + cleanup dataverse provider #1065

publish-docker

succeeded Dec 17, 2024 in 2m 8s
Set up job
4s
Initialize containers
2s
Should we push this image to a public registry?
0s
Run actions/checkout@v4
1s
Set up QEMU (for docker buildx)
2s
Set up Docker Buildx (for multi-arch builds)
4s
Setup push rights to Docker registry
0s
Get list of repo2docker docker tags
0s
Build and push repo2docker
1m 42s
Post Build and push repo2docker
5s
Post Set up Docker Buildx (for multi-arch builds)
2s
Post Run actions/checkout@v4
0s
Stop containers
0s
Complete job
0s