Lean CI

Bump time from 0.3.32 to 0.3.36 in /lean #373

Sign in to view logs

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

Triggered via pull request May 1, 2024 17:46

dependabot[bot]

opened #206

dependabot/cargo/lean/time-0.3.36

Status Success

Total duration 5m 15s

Artifacts –

lean.yml

on: pull_request