Lean CI

Bump tracing from 0.1.37 to 0.1.40 in /lean #266

Sign in to view logs

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

The logs for this run have expired and are no longer available.