Questionnaire-2024/.drone.yml

kind: pipeline
type: docker
name: compile
steps:
- name: compile individual chapters
  image: stpranger/latex-minted-latexmk
  commands:
  - chmod +x compile
  - ./compile -d -b
  - ./compile -d -b solution
  when:
    ref:
      exclude:
      - refs/tags/release_complete*

- name: compile complete questionnaire
  image: stpranger/latex-minted-latexmk
  commands:
  - chmod +x compile
  - ./compile -d
  - ./compile -d solution
  when:
    ref:
      include:
      - refs/tags/release_complete*

- name: release complete questionnaire
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire.pdf
    - questionnaire_with_solutions.pdf
  when:
    ref:
      include:
      - refs/tags/release_complete*

- name: release chapter smtzthree
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_smtzthree.pdf
    - questionnaire_with_solutions_smtzthree.pdf
  when:
    ref:
      include:
      - refs/tags/release_smtzthree*

- name: release chapter proplogic
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_proplogic.pdf
    - questionnaire_with_solutions_proplogic.pdf
  when:
    ref:
      include:
      - refs/tags/release_proplogic*

- name: release chapter satsolver
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_satsolver.pdf
    - questionnaire_with_solutions_satsolver.pdf
  when:
    ref:
      include:
      - refs/tags/release_satsolver*

- name: release chapter ndprop
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_ndprop.pdf
    - questionnaire_with_solutions_ndprop.pdf
  when:
    ref:
      include:
      - refs/tags/release_ndprop*

- name: release chapter predlogic
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_predlogic.pdf
    - questionnaire_with_solutions_predlogic.pdf
  when:
    ref:
      include:
      - refs/tags/release_predlogic*

- name: release chapter ndpred
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_ndpred.pdf
    - questionnaire_with_solutions_ndpred.pdf
  when:
    ref:
      include:
      - refs/tags/release_ndpred*

- name: release chapter smt
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_smt.pdf
    - questionnaire_with_solutions_smt.pdf
  when:
    ref:
      include:
      - refs/tags/release_smt*

- name: release chapter bdd
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_bdd.pdf
    - questionnaire_with_solutions_bdd.pdf
  when:
    ref:
      include:
      - refs/tags/release_bdd*

- name: release chapter eqchecking
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_eqchecking.pdf
    - questionnaire_with_solutions_eqchecking.pdf
  when:
    ref:
      include:
      - refs/tags/release_eqchecking*

- name: release chapter symbenc
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_symbenc.pdf
    - questionnaire_with_solutions_symbenc.pdf
  when:
    ref:
      include:
      - refs/tags/release_symbenc*

- name: release chapter temporal
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_temporal.pdf
    - questionnaire_with_solutions_temporal.pdf
  when:
    ref:
      include:
      - refs/tags/release_temporal*
- name: release chapter decidability
  image: plugins/gitea-release
  settings:
    base_url: https://git.pranger.xyz
    api_key:
      from_secret: gitea_token
    files:
    - questionnaire_decidability.pdf
    - questionnaire_with_solutions_decidability.pdf
  when:
    ref:
      include:
      - refs/tags/release_decidability*
trigger:
  event:
    include:
    - push
    - tag