Skip to content

Merge pull request #424 from crocs-muni/fix/new-dgsts #175

Merge pull request #424 from crocs-muni/fix/new-dgsts

Merge pull request #424 from crocs-muni/fix/new-dgsts #175

Triggered via push July 21, 2024 14:18
Status Success
Total duration 49s
Artifacts

pre-commit.yml

on: push
pre-commit
41s
pre-commit
Fit to window
Zoom out
Zoom in