Skip to content

Hats renaming

Hats renaming #436

Triggered via pull request October 16, 2024 13:57
@delucchi-cmudelucchi-cmu
synchronize #379
hats
Status Success
Total duration 2m 17s
Artifacts

pre-commit-ci.yml

on: pull_request
pre-commit-ci
2m 5s
pre-commit-ci
Fit to window
Zoom out
Zoom in