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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
pr-sweep
15s
15s