Lean CI

Bump proptest from 1.1.0 to 1.4.0 in /cli #281

Sign in to view logs

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

Triggered via pull request January 1, 2024 17:19

dependabot[bot]

opened #154

dependabot/cargo/cli/proptest-1.4.0

Status Success

Total duration 16s

Artifacts –

lean.yml

on: pull_request