Lean (build)

Make data carry uniqueness proof, refactor datatypes #34

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via push January 18, 2024 19:19

Anatolay

unique-attributes

Status Failure

Total duration 47s

Artifacts –

lean.yml

on: push

Annotations

1 error

Process completed with exit code 1.