Skip to content

p-interface: Change name for Pinocchio interface crate #139

p-interface: Change name for Pinocchio interface crate

p-interface: Change name for Pinocchio interface crate #139

Triggered via pull request July 30, 2025 23:40
Status Skipped
Total duration 1s
Artifacts

dependabot-auto-merge.yml

on: pull_request
dependabot
0s
dependabot
Fit to window
Zoom out
Zoom in