Merge pull request #41 from paulcadman/update-lean-4.12.0 #121
build.yaml
on: push
build-macos
1m 10s
build-linux
2m 10s
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
linux_x86_64-binary
|
29.9 MB |
|
macos-aarch64-binary
|
26.1 MB |
|