Skip to content

Hats renaming

Hats renaming #443

Triggered via pull request October 17, 2024 00:00
@delucchi-cmudelucchi-cmu
synchronize #408
hats
Status Success
Total duration 3m 9s
Artifacts

pre-commit-ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in