Lean CI

Bump serde from 1.0.160 to 1.0.193 in /lean #287

Sign in to view logs

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

Triggered via pull request January 1, 2024 17:22

dependabot[bot]

opened #160

dependabot/cargo/lean/serde-1.0.193

Status Success

Total duration 5m 18s

Artifacts –

lean.yml

on: pull_request