Skip to content

Merge pull request #29 from mikemaccana-edwardbot/chore/rename-user-s… #161

Merge pull request #29 from mikemaccana-edwardbot/chore/rename-user-s…

Merge pull request #29 from mikemaccana-edwardbot/chore/rename-user-s… #161

Triggered via push May 15, 2026 03:19
Status Success
Total duration 21s
Artifacts

pinocchio.yml

on: push
changes
4s
changes
Matrix: build-and-test
summary
4s
summary
Fit to window
Zoom out
Zoom in