chore: bump Lean to v4.9.0 #485

Sign in to view logs

Summary
Jobs
- Linux
- macOS
Run details
- Usage
- Workflow file

Re-run triggered July 8, 2024 00:13

abdoo8080

#119

v4.9.0

Status Success

Total duration 8m 19s

Artifacts –

ci.yml

on: pull_request

Matrix: build