Skip to content

gitlab-ci: Don't use trigger: to trigger head.hackage builds

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

Due to head.hackage#68 (closed) we cannot use trigger: without granting all users push privileges to ghc/head.hackage>'s master branch.

Edited by Ben Gamari

Merge request reports