report err if not finding global proofs #236

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 24, 2024 09:23

RUAN0007

opened #114

feature/ruanpc/rename_validator

Status Success

Total duration 7m 23s

Artifacts –

rust.yml

on: pull_request