Skip to content

Merge pull request #1374 from gemini-hlsw/vdom-element-monoid #1004

Merge pull request #1374 from gemini-hlsw/vdom-element-monoid

Merge pull request #1374 from gemini-hlsw/vdom-element-monoid #1004

Triggered via push December 11, 2024 23:59
Status Success
Total duration 1m 53s
Artifacts
update_release_draft
1m 45s
update_release_draft
Fit to window
Zoom out
Zoom in

Annotations

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