Skip to content
Cleanup after PR

Check if value is already a Short DOI #1

Sign in to view logs

Check if value is already a Short DOI

Check if value is already a Short DOI #1

Triggered via pull request November 2, 2023 17:27
@SiedlerchrSiedlerchr
closed #10612
michalfarago:ShortDOI-check
Status Success
Total duration 16s
Artifacts –

cleanup-pr.yml

on: pull_request
cleanup
8s
cleanup
Fit to window
Zoom out
Zoom in