Skip to content
PR sweep

Merge pull request #767 from fstagni/cherry-pick-2-57f4fd29-integration #234

Sign in to view logs

Merge pull request #767 from fstagni/cherry-pick-2-57f4fd29-integration

Merge pull request #767 from fstagni/cherry-pick-2-57f4fd29-integration #234

Triggered via push May 16, 2024 11:45
@fstagnifstagni
pushed 28ab1b0
integration
Status Success
Total duration 26s
Artifacts –

pr-sweep.yml

on: push
pr-sweep
15s
pr-sweep
Fit to window
Zoom out
Zoom in