Skip to content
Back to pull request #16895

Fix link to mercurial tip in tool shed 2.0. #11930

Sign in to view logs

Fix link to mercurial tip in tool shed 2.0.

Fix link to mercurial tip in tool shed 2.0. #11930

Triggered via pull request October 20, 2023 17:44
@jmchiltonjmchilton
opened #16895
Status Success
Total duration 25m 46s
Artifacts –

maintenance_bot.yaml

on: pull_request_target
Assign labels and milestone
5s
Assign labels and milestone
Fit to window
Zoom out
Zoom in