Skip to content

Merge pull request #37 from Gepetto/hrp2 #110

Merge pull request #37 from Gepetto/hrp2

Merge pull request #37 from Gepetto/hrp2 #110

Triggered via push February 7, 2025 15:52
Status Success
Total duration 2m 45s
Artifacts

nix.yml

on: push
Matrix: nix
Fit to window
Zoom out
Zoom in