Started 4 yr 4 mo ago
Took 14 min
on built-in
<a title="Replace `http` with `https` wherever possible (#2164)" href="https://github.com/opencor/opencor/pull/2244">PR #2244</a>: Replace `http` with `https`...
No changes. | |
GitHub pull request #2244 of commit 2fcb7169715f02724ef175d7282ae9e3b24ffc71, no merge conflicts. | |
This run spent:
|