Mirror to RWTH GitLab

Mirror to RWTH GitLab #291

Sign in to view logs

Triggered via delete September 2, 2025 17:48

pjungkamp

Status Success

Total duration 17s

Artifacts –

mirror.yaml

on: delete