[GHC] #14505: CircleCI only builds pushed heads

[GHC]

#14505: CircleCI only builds pushed heads
-------------------------------------+-------------------------------------
           Reporter:  bgamari        |             Owner:  bgamari
               Type:  bug            |            Status:  new
           Priority:  normal         |         Milestone:
          Component:  Continuous     |           Version:  8.2.1
  Integration                        |
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 It appears that CircleCI only builds the head commit of pushes. This means
 that most of our commits are currently going untested.

 It seems that the ability to build all commits has been an outstanding
 feature request since February 2017.

 See,
  * https://stackoverflow.com/questions/42074618/circleci-build-all-
 commits-between-last
  * https://discuss.circleci.com/t/manually-trigger-a-build-all-commits-
 between-two-revisions/10160/2

 It seems like our options are currently to either ensure that people only
 push on commit at a time or develop some automation to manually trigger
 commits using the [[https://circleci.com/docs/api/v1-reference/#new-
 build|API]].

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14505>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler