.gitlab-ci.yml

# This file is part of CPAchecker,
# a tool for configurable software verification:
# https://cpachecker.sosy-lab.org
#
# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

# This file contains only some global CI config.
# Most jobs are included here:
include:
  - local: build/gitlab-ci.local.yml
    rules:
      - if: $AUTO_UPDATE_DEPENDENCIES != "true"

# Run either MR pipelines or regular pipelines, but never both at the same time.
# Cf. https://docs.gitlab.com/ee/ci/yaml/workflow.html#switch-between-branch-pipelines-and-merge-request-pipelines
workflow:
  rules:
    - if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS && $CI_PIPELINE_SOURCE == "push"
      when: never
    - when: always

variables:
  PROJECT_PATH: "sosy-lab/software/cpachecker"
  # Version of https://gitlab.com/sosy-lab/software/refaster/ to use
  REFASTER_REPO_REVISION: bba447e6b8e1df7ef8cdb6864319a4569e3e275b
  # Needs to be synchronized with Error Prone version in lib/ivy.xml
  REFASTER_VERSION: 2.36.0

auto-update-dependencies:
  stage: deploy
  image: ${CI_REGISTRY_IMAGE}/test:jdk-17
  before_script:
    - apt-get update
    - apt-get install -y --no-install-recommends git xmlstarlet openssh-client
    - eval $(ssh-agent -s)
    - echo "$SSH_PRIVATE_KEY_BASE64" | base64 -d | ssh-add -
    - mkdir -p ~/.ssh
    - chmod 700 ~/.ssh
    - echo "$SSH_KNOWN_HOSTS" >> ~/.ssh/known_hosts
    - chmod 644 ~/.ssh/known_hosts
  script:
    - build/auto-update-dependencies.sh
  environment: repo/auto-update-dependencies
  rules:
    - if: $AUTO_UPDATE_DEPENDENCIES == "true"
  cache:
    key: "$CI_JOB_NAME"
    paths:
      - ".ivy2/"