two more lemma statements #149

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via push January 7, 2024 00:24

eric-wieser

master

Status Failure

Total duration 1m 21s

Artifacts –

lean_build.yml

on: push

Annotations

1 error

Process completed with exit code 1.