Skip to content
Mirror to RWTH GitLab

fix: wrong config name in ignored configs #395

Sign in to view logs

fix: wrong config name in ignored configs

fix: wrong config name in ignored configs #395

Triggered via push November 5, 2025 16:40
@IgnoreWarningsIgnoreWarnings
pushed 6947a61
miob-config
Status Success
Total duration 16s
Artifacts –

mirror.yaml

on: push
Mirror
9s
Mirror
Fit to window
Zoom out
Zoom in