Lean CI

Merge pull request #151 from MarcusDunn/dependabot/cargo/lean/tracing… #267

Sign in to view logs

Summary
Jobs
- changes
- Tests
Run details
- Usage
- Workflow file

Triggered via push December 10, 2023 16:52

MarcusDunn

main

Status Failure

Total duration 2m 50s

Artifacts –

lean.yml

on: push

Annotations

1 error

Process completed with exit code 1.