Skip to content
PR sweep

Merge pull request #754 from fstagni/remove_proxy_persistency #219

Sign in to view logs

Merge pull request #754 from fstagni/remove_proxy_persistency

Merge pull request #754 from fstagni/remove_proxy_persistency #219

Run time

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