Use Lean v4.4.0 #12

Sign in to view logs

Summary
Jobs
- Build
Run details
- Usage
- Workflow file

Triggered via pull request December 25, 2023 20:23

Anderssorby

synchronize #6

acs/lean-v4.4.0

Status Success

Total duration 1m 13s

Artifacts –

build.yml

on: pull_request