Lean CI

Bump moka from 0.12.1 to 0.12.5 in /lean #357

Sign in to view logs

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

Triggered via pull request March 1, 2024 17:47

dependabot[bot]

opened #190

dependabot/cargo/lean/moka-0.12.5

Status Success

Total duration 5m 18s

Artifacts –

lean.yml

on: pull_request