You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

198 lines
4.2 KiB

4 months ago
  1. kind: pipeline
  2. type: docker
  3. name: compile
  4. steps:
  5. - name: compile individual chapters
  6. image: stpranger/latex-minted-latexmk
  7. commands:
  8. - chmod +x compile
  9. - ./compile -d -b
  10. - ./compile -d -b solution
  11. when:
  12. ref:
  13. exclude:
  14. - refs/tags/release_complete*
  15. - name: compile complete questionnaire
  16. image: stpranger/latex-minted-latexmk
  17. commands:
  18. - chmod +x compile
  19. - ./compile -d
  20. - ./compile -d solution
  21. when:
  22. ref:
  23. include:
  24. - refs/tags/release_complete*
  25. - name: release complete questionnaire
  26. image: plugins/gitea-release
  27. settings:
  28. base_url: https://git.pranger.xyz
  29. api_key:
  30. from_secret: gitea_token
  31. files:
  32. - questionnaire.pdf
  33. - questionnaire_with_solutions.pdf
  34. when:
  35. ref:
  36. include:
  37. - refs/tags/release_complete*
  38. - name: release chapter smtzthree
  39. image: plugins/gitea-release
  40. settings:
  41. base_url: https://git.pranger.xyz
  42. api_key:
  43. from_secret: gitea_token
  44. files:
  45. - questionnaire_smtzthree.pdf
  46. - questionnaire_with_solutions_smtzthree.pdf
  47. when:
  48. ref:
  49. include:
  50. - refs/tags/release_smtzthree*
  51. - name: release chapter proplogic
  52. image: plugins/gitea-release
  53. settings:
  54. base_url: https://git.pranger.xyz
  55. api_key:
  56. from_secret: gitea_token
  57. files:
  58. - questionnaire_proplogic.pdf
  59. - questionnaire_with_solutions_proplogic.pdf
  60. when:
  61. ref:
  62. include:
  63. - refs/tags/release_proplogic*
  64. - name: release chapter satsolver
  65. image: plugins/gitea-release
  66. settings:
  67. base_url: https://git.pranger.xyz
  68. api_key:
  69. from_secret: gitea_token
  70. files:
  71. - questionnaire_satsolver.pdf
  72. - questionnaire_with_solutions_satsolver.pdf
  73. when:
  74. ref:
  75. include:
  76. - refs/tags/release_satsolver*
  77. - name: release chapter ndprop
  78. image: plugins/gitea-release
  79. settings:
  80. base_url: https://git.pranger.xyz
  81. api_key:
  82. from_secret: gitea_token
  83. files:
  84. - questionnaire_ndprop.pdf
  85. - questionnaire_with_solutions_ndprop.pdf
  86. when:
  87. ref:
  88. include:
  89. - refs/tags/release_ndprop*
  90. - name: release chapter predlogic
  91. image: plugins/gitea-release
  92. settings:
  93. base_url: https://git.pranger.xyz
  94. api_key:
  95. from_secret: gitea_token
  96. files:
  97. - questionnaire_predlogic.pdf
  98. - questionnaire_with_solutions_predlogic.pdf
  99. when:
  100. ref:
  101. include:
  102. - refs/tags/release_predlogic*
  103. - name: release chapter ndpred
  104. image: plugins/gitea-release
  105. settings:
  106. base_url: https://git.pranger.xyz
  107. api_key:
  108. from_secret: gitea_token
  109. files:
  110. - questionnaire_ndpred.pdf
  111. - questionnaire_with_solutions_ndpred.pdf
  112. when:
  113. ref:
  114. include:
  115. - refs/tags/release_ndpred*
  116. - name: release chapter smt
  117. image: plugins/gitea-release
  118. settings:
  119. base_url: https://git.pranger.xyz
  120. api_key:
  121. from_secret: gitea_token
  122. files:
  123. - questionnaire_smt.pdf
  124. - questionnaire_with_solutions_smt.pdf
  125. when:
  126. ref:
  127. include:
  128. - refs/tags/release_smt*
  129. - name: release chapter bdd
  130. image: plugins/gitea-release
  131. settings:
  132. base_url: https://git.pranger.xyz
  133. api_key:
  134. from_secret: gitea_token
  135. files:
  136. - questionnaire_bdd.pdf
  137. - questionnaire_with_solutions_bdd.pdf
  138. when:
  139. ref:
  140. include:
  141. - refs/tags/release_bdd*
  142. - name: release chapter eqchecking
  143. image: plugins/gitea-release
  144. settings:
  145. base_url: https://git.pranger.xyz
  146. api_key:
  147. from_secret: gitea_token
  148. files:
  149. - questionnaire_eqchecking.pdf
  150. - questionnaire_with_solutions_eqchecking.pdf
  151. when:
  152. ref:
  153. include:
  154. - refs/tags/release_eqchecking*
  155. - name: release chapter symbenc
  156. image: plugins/gitea-release
  157. settings:
  158. base_url: https://git.pranger.xyz
  159. api_key:
  160. from_secret: gitea_token
  161. files:
  162. - questionnaire_symbenc.pdf
  163. - questionnaire_with_solutions_symbenc.pdf
  164. when:
  165. ref:
  166. include:
  167. - refs/tags/release_symbenc*
  168. - name: release chapter temporal
  169. image: plugins/gitea-release
  170. settings:
  171. base_url: https://git.pranger.xyz
  172. api_key:
  173. from_secret: gitea_token
  174. files:
  175. - questionnaire_temporal.pdf
  176. - questionnaire_with_solutions_temporal.pdf
  177. when:
  178. ref:
  179. include:
  180. - refs/tags/release_temporal*
  181. trigger:
  182. event:
  183. include:
  184. - push
  185. - tag