Skip to content

Merge pull request #263 from gmfrasca/rename-doc #658

Merge pull request #263 from gmfrasca/rename-doc

Merge pull request #263 from gmfrasca/rename-doc #658

Triggered via push February 4, 2025 15:40
Status Success
Total duration 22s
Artifacts

pre_commit.yaml

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