Closed punchagan closed 1 year ago
LGTM! Thanks for the fix, I didn't think anyone read the slack notifications ;)
Haha, yes, I was trying to look at the queue of work being processed by current-bench after the latest deploy which added a bunch of benchmarks to be run on the dune
repo. But this PR also fixes the GitHub status URLs, for which we've already got a couple of reports. #435 and https://github.com/ocaml-multicore/eio/pull/500#issuecomment-1532731208 should both be fixed with this PR.
Thanks for the review and the merge, @ElectreAAS ! :)
a2bc44e2b45638bf9616705ae856855d639bcece changed the URL path to include the name of the base branch against a pull-request has been opened. This commit fixes the URLs for pulls shared in Slack notifications.
Also, re-use code from
to_path
ingithub_status_url
function. Fixes #435.