Mirror to RWTH GitLab

feat(ci): Enable push mirroring to RWTH GiutLab #6

Sign in to view logs

Triggered via push April 29, 2025 06:58

stv0g

master

Status Success

Total duration 15s

Artifacts –

mirror.yaml

on: push