chore(deps): upgrade `lean` to `v4.2.0-rc1` #331

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request October 15, 2023 02:07

rami3l

opened #13

deps/lean-420

Status Success

Total duration 5m 28s

Artifacts –

ci.yml

on: pull_request