Merge pull request #51 from paulcadman/image-monoid · paulcadman/raylean@e8f428a

Triggered via push December 10, 2024 14:42

paulcadman

main

Status Success

Total duration 17m 38s

Artifacts 2

build.yaml

on: push

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
linux_x86_64-binary	43.3 MB
macos-aarch64-binary	38.2 MB