Skip to content

Merge pull request #1743 from jponge/fix/uni-eventually-and-termination #884

Merge pull request #1743 from jponge/fix/uni-eventually-and-termination

Merge pull request #1743 from jponge/fix/uni-eventually-and-termination #884

Triggered via push November 20, 2024 16:13
Status Success
Total duration 16m 58s
Artifacts

build-main.yml

on: push
Test the main branch
16m 46s
Test the main branch
Fit to window
Zoom out
Zoom in