Skip to content
PR sweep

Merge pull request #8044 from fstagni/cherry-pick-2-50d498d76-integra… #2237

Sign in to view logs

Merge pull request #8044 from fstagni/cherry-pick-2-50d498d76-integra…

Merge pull request #8044 from fstagni/cherry-pick-2-50d498d76-integra… #2237

Triggered via push February 12, 2025 17:03
@fstagnifstagni
pushed 204757e
integration
Status Success
Total duration 5m 29s
Artifacts –

pr-sweep.yml

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