Skip to content

Merge Adding scripts to pre-commit hook #2927

Merge Adding scripts to pre-commit hook

Merge Adding scripts to pre-commit hook #2927

Triggered via push November 27, 2023 14:04
Status Success
Total duration 22s
Artifacts

mirror.yml

on: push
to_gitlab
13s
to_gitlab
Fit to window
Zoom out
Zoom in