Lean (build)

Add pcongOBJ case in par_to_redMany #36

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via push January 23, 2024 03:00

eyihluyc

unique-attributes

Status Success

Total duration 1m 48s

Artifacts –

lean.yml

on: push