Raymond Toy pushed to branch master at cmucl / cmucl

Commits:

• 25cd44a2
  by Raymond Toy at 2025-12-04T17:57:49-08:00

  Fix #455: Allow manual pipeline runs
  

• ae1bdde7
  by Raymond Toy at 2025-12-04T17:57:50-08:00

  Merge branch 'issue-455-manual-pipeline-run' into 'master'
  
  Fix #455: Allow manual pipeline runs
  
  Closes #455
  
  See merge request cmucl/cmucl!334

1 changed file:

• .gitlab-ci.yml

Changes:

     - if: $CI_PIPELINE_SOURCE == "push"

     - if: $CI_PIPELINE_SOURCE == "merge_request_event"

     - if: $CI_PIPELINE_SOURCE == "branch"

+    - if: $CI_PIPELINE_SOURCE == "web"

 linux:build:

   <<: *build_configuration

     - if: $CI_PIPELINE_SOURCE == "schedule"

     - if: $CI_PIPELINE_SOURCE == "push"

     - if: $CI_PIPELINE_SOURCE == "merge_request_event"

+    - if: $CI_PIPELINE_SOURCE == "web"

 linux:cross-build:

   stage: build