Dokumentation in GitLab CI kompilieren

This commit is contained in:
joachimschmidt557 2019-02-12 20:39:10 +01:00
parent 88a9453b00
commit e709349e74

View file

@ -1,4 +1,8 @@
image: java:8
java:
image: java:8
script: javac Projektgruppe_*/src/tests/student/*
doc:
image: blang/latex:ubuntu
script: pdflatex doc/Dokumentation.tex