ci

chore: make proofs robust to incoming changes #7897

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request August 21, 2024 02:57

kim-em

opened #929

robustify_for_5102

Status Success

Total duration 1m 1s

Artifacts –

build.yml

on: pull_request