GitHub Robotics Topic·· 28 days agoAI score11
dancxjo/conduit: Conduit fd16cad tested source release
Summary
The dancxjo/conduit project on GitHub released Conduit commit version fd16cad1d455, with a GitHub-verified signature. This records the tested source (fd16cad), the accepted main branch commit (3e6c51c), and the corresponding integration run information; proof classes are recorded separately per target in manifest.json.
This page provides a summary and source link only. Read the full article at the source.
Source: GitHub Robotics Topic · github.com