Build

Update to lean 4.12.0 #120

Sign in to view logs

Triggered via pull request October 13, 2024 17:40

paulcadman

opened #41

update-lean-4.12.0

Status Success

Total duration 1m 33s

Artifacts 2

build.yaml

on: pull_request

Artifacts

Produced during runtime

Name	Size
linux_x86_64-binary	29.9 MB
macos-aarch64-binary	26.1 MB