Lean (build)

Add pcongOBJ case to preduce_incLocatorsFrom #52

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via push January 30, 2024 15:23

Anatolay

substitution-lemma

Status Failure

Total duration 49s

Artifacts –

lean.yml

on: push

Annotations

1 error

Process completed with exit code 1.