2018-02-16 02:30:34 +01:00
|
|
|
variables:
|
2018-02-16 09:50:31 +01:00
|
|
|
aud: aud_zusammenfassung.pdf
|
|
|
|
ffi: ForensInf2_Zusammenfassung.pdf
|
2018-02-16 12:17:11 +01:00
|
|
|
gds1: gds_braindump_ss16.pdf
|
2018-02-16 09:50:31 +01:00
|
|
|
gds2: gds_braindump_ss17.pdf
|
|
|
|
gti: gti_zusammenfassung.pdf
|
|
|
|
idb1: idb_skript_greeny/IDB.pdf
|
|
|
|
idb2: klausur_ws1516/klausur_idb_WS1516.pdf
|
2018-02-16 11:12:11 +01:00
|
|
|
idb3: klausur_ss16/klausur_idb_SS16.pdf
|
|
|
|
idb4: klausur_ss16/klausur_idb_SS16_ML.pdf
|
2018-02-16 09:50:31 +01:00
|
|
|
konzmod: konzmod_zusammenfassung.pdf
|
|
|
|
mathec1: mathec1_zussammenfassung.pdf
|
|
|
|
mathec4: MaC4Cheatsheet.pdf
|
|
|
|
rk1: KlausurLV_SS14_September.pdf
|
|
|
|
rk2: KlausurLV_WS1415_Maerz.pdf
|
|
|
|
thprog1: Koinduktion_reduktion.pdf
|
|
|
|
thprog2: Konfluenz.pdf
|
|
|
|
thprog3: Polynomordnung.pdf
|
|
|
|
thprog4: PumpingLemma.pdf
|
|
|
|
thprog5: Strukturelle_Induktion.pdf
|
|
|
|
thprog6: SystemF.pdf
|
|
|
|
thprog7: ThProgCheatsheet.pdf
|
|
|
|
|
2018-02-16 02:30:34 +01:00
|
|
|
|
|
|
|
image: tianon/latex
|
|
|
|
|
|
|
|
before_script:
|
2018-02-16 02:44:42 +01:00
|
|
|
- apt-get update
|
2018-02-16 03:08:37 +01:00
|
|
|
- apt-get install -y build-essential poppler-utils
|
2018-02-16 08:02:27 +01:00
|
|
|
|
2018-02-16 08:56:03 +01:00
|
|
|
.make: &make |
|
|
|
|
make -C $CI_JOB_NAME
|
|
|
|
|
2018-02-16 08:02:27 +01:00
|
|
|
AuD:
|
2018-02-16 02:30:34 +01:00
|
|
|
script:
|
2018-02-16 10:44:48 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$aud
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$aud
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
FFI:
|
|
|
|
script:
|
2018-02-16 10:44:48 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$ffi
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$ffi
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
GDS:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$gds1
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$gds2
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$gds1
|
|
|
|
- $CI_JOB_NAME/$gds2
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
GTI:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$gti
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$gti
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
IDB:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$idb1
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$idb2
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$idb3
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$idb4
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$idb1
|
|
|
|
- $CI_JOB_NAME/$idb2
|
|
|
|
- $CI_JOB_NAME/$idb3
|
|
|
|
- $CI_JOB_NAME/$idb4
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
KonzMod:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$konzmod
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$konzmod
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
MatheC1:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$mathec1
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$mathec1
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
MatheC4:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$mathec4
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$mathec4
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
RK:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$rk1
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$rk2
|
2018-02-16 08:56:03 +01:00
|
|
|
artifacts:
|
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$rk1
|
|
|
|
- $CI_JOB_NAME/$rk2
|
2018-02-16 08:56:03 +01:00
|
|
|
|
|
|
|
ThProg:
|
|
|
|
script:
|
2018-02-16 10:53:33 +01:00
|
|
|
- make -C $CI_JOB_NAME
|
2018-02-16 10:56:04 +01:00
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$thprog1
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$thprog2
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$thprog3
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$thprog4
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$thprog5
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$thprog6
|
|
|
|
- ./.check_artifacts.sh $CI_JOB_NAME/$thprog7
|
2017-11-05 07:06:18 +01:00
|
|
|
artifacts:
|
2018-02-16 02:30:34 +01:00
|
|
|
paths:
|
2018-02-16 09:50:31 +01:00
|
|
|
- $CI_JOB_NAME/$thprog1
|
|
|
|
- $CI_JOB_NAME/$thprog2
|
|
|
|
- $CI_JOB_NAME/$thprog3
|
|
|
|
- $CI_JOB_NAME/$thprog4
|
|
|
|
- $CI_JOB_NAME/$thprog5
|
|
|
|
- $CI_JOB_NAME/$thprog6
|
|
|
|
- $CI_JOB_NAME/$thprog7
|