This repository has been archived by the owner on Jun 24, 2024. It is now read-only.

Risc0 Compatibility

chore: rename `AggregatedProofPublicInfo` to `AggregatedProofPublicDa… #77

Sign in to view logs

Triggered via push March 29, 2024 03:43

main

Status Success

Total duration 6m 51s

Artifacts –

risc0-check.yml

on: push