Skip to content

gitlab-ci: Trigger head.hackage jobs via pipeline ID

Ben Gamari requested to merge wip/head-hackage-trigger-2 into master

As noted in head.hackage!152 (merged), the previous plan of using the commit didn't work when the triggering pipeline had not yet successfully finished.

Edited by Ben Gamari

Merge request reports