Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC

Commits:

• f6d30767
  by Wolfgang Jeltsch at 2026-06-16T15:32:34-04:00

  Fix two issues in the documentation of pipeline interruption
  
  One issue is a typo (“interreuptible”), the other one the lack of an end
  of a sentence, which has been reconstructed from the message of
  633bbc1fd4762a2bb73ba1c5b9e0c279f1dd3c40, the commit that introduced
  said documentation.
  

1 changed file:

• .gitlab-ci.yml

Changes:

 # https://gitlab.com/gitlab-org/gitlab/-/issues/32837). This leads to the

 # hack in this MR where by default all jobs are `interruptible: True`, but

 # for pipelines we definitely want to run, there is a dummy job which

-# happens first, which is `interreuptible: False`. This has the effect of

-# dirtying the whole pipeline and

+# happens first, which is `interruptible: False`. This has the effect of

+# dirtying the whole pipeline and preventing another push to master from

+# cancelling it.

 #

 # For now, this patch solves the immediate problem of making sure nightly

 # jobs are not cancelled.