CI

Add32 proofs in new formulation #87

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request January 10, 2025 15:54

opened #43

add32-proofs

Status Failure

Total duration 57s

Artifacts –

ci.yml

on: pull_request

Annotations

2 errors

lake build failed

Process completed with exit code 1.